NO Solver Timeout: 4 Global Timeout: 300 No parsing errors! Init Location: 0 Transitions: (~(1) + i21^0)}> ((0 + __const_16^0) + i21^0)}> ((0 + (~(1) * disp9^0)) + i6^0)}> ((0 + __const_8^0) + (~(1) * hshift11^0)), hsize___019^0 -> undef473, hsize_reg10^0 -> undef475, i21^0 -> ((0 + (~(1) * __const_16^0)) + undef473), m122^0 -> ~(1)}> undef532, hshift11^0 -> (1 + hshift11^0)}> ((0 + (~(1) * __const_16^0)) + i29^0)}> (0 + undef689), fcode5^0 -> (0 + hsize^0), hshift11^0 -> 0, tmp12^0 -> undef689}> (0 + __const_429496^0)}> (~(1) + InCnt^0), ret_getbyte18^0 -> undef874}> (0 + __const_429496^0)}> (~(1) + apsim_InCnt^0), tmp___017^0 -> (0 + apsim_InCnt^0)}> (0 + __const_257^0)}> (0 + __const_256^0)}> (~(1) + bits33^0), c37^0 -> undef1279}> 2}> undef1593, offset^0 -> 0}> (1 + i45^0)}> 0, n44^0 -> undef2064}> undef2124}> (0 + maxmaxcode^0)}> 0, maxcode^0 -> undef2439, n_bits^0 -> (0 + __const_9^0)}> (1 + n_bits^0)}> 0}> ((0 + bytes_out^0) + n_bits^0)}> (1 + i41^0)}> 0, n40^0 -> (0 + n_bits^0)}> 0}> undef3796, bytes_out^0 -> ((0 + undef3796) + bytes_out^0)}> ((0 + n_bits^0) + offset^0)}> ((0 + (~(1) * __const_8^0)) + bits33^0), code31^0 -> undef4307}> (((0 + (~(1) * __const_8^0)) + bits33^0) + undef4525), code31^0 -> undef4496, r_off32^0 -> undef4525}> (0 + n_bits^0), clear_flg^0 -> 1, code31^0 -> (0 + __const_256^0), free_ent^0 -> (0 + __const_257^0), r_off32^0 -> (0 + offset^0)}> (~(1) + i29^0)}> ((0 + __const_16^0) + i29^0)}> undef4904}> undef4947, i29^0 -> ((0 + (~(1) * __const_16^0)) + undef4947), m130^0 -> ~(1), ratio^0 -> 0}> (0 + rat26^0)}> (0 + __const_2147483647^0)}> (0 + count^0), apsim_InCnt^0 -> (0 + __const_53^0), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (1 + i3^0), seed2^0 -> undef5349, tabort4^0 -> (0 + i3^0)}> undef5408}> undef5471}> ((0 + __const_10000^0) + in_count^0)}> (1 + free_ent^0), tmp___115^0 -> (0 + free_ent^0)}> (0 + c7^0), out_count^0 -> (1 + out_count^0)}> (1 + apsim_bound11113^0)}> undef6389}> ((0 + hsize_reg10^0) + i6^0)}> 1}> ((0 + hsize_reg10^0) + (~(1) * i6^0))}> undef7019}> (0 + undef7242), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0), tmp___014^0 -> undef7242}> (0 + __const_429496^0)}> (~(1) + InCnt^0), ret_getbyte25^0 -> undef7427}> (0 + __const_429496^0)}> (~(1) + apsim_InCnt^0), tmp___024^0 -> (0 + apsim_InCnt^0)}> 0}> ((0 + (~(1) * __const_16^0)) + i21^0)}> (0 + __const_50^0), i3^0 -> 0, seed2^0 -> 1}> Fresh variables: undef473, undef475, undef532, undef689, undef874, undef1279, undef1593, undef2064, undef2124, undef2439, undef3796, undef4307, undef4496, undef4525, undef4904, undef4947, undef5274, undef5275, undef5349, undef5408, undef5471, undef6389, undef7019, undef7210, undef7222, undef7242, undef7427, Undef variables: undef473, undef475, undef532, undef689, undef874, undef1279, undef1593, undef2064, undef2124, undef2439, undef3796, undef4307, undef4496, undef4525, undef4904, undef4947, undef5274, undef5275, undef5349, undef5408, undef5471, undef6389, undef7019, undef7210, undef7222, undef7242, undef7427, Abstraction variables: Exit nodes: Accepting locations: Asserts: Preprocessed LLVMGraph Init Location: 0 Transitions: (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0), out_count^0 -> (1 + out_count^0)}> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> ((0 + hsize_reg10^0) + (~(1) * undef7222)), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> ((0 + hsize_reg10^0) + (~(1) * undef7222)), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> 1, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0), out_count^0 -> (1 + out_count^0)}> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> ((0 + hsize_reg10^0) + (~(1) * undef7222)), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> ((0 + hsize_reg10^0) + (~(1) * undef7222)), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> 1, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + InCnt^0), apsim_InCnt^0 -> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0), out_count^0 -> (1 + out_count^0)}> (~(1) + InCnt^0), apsim_InCnt^0 -> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> ((0 + hsize_reg10^0) + (~(1) * undef7222)), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + InCnt^0), apsim_InCnt^0 -> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> ((0 + hsize_reg10^0) + (~(1) * undef7222)), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + InCnt^0), apsim_InCnt^0 -> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> 1, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + InCnt^0), apsim_InCnt^0 -> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + InCnt^0), apsim_InCnt^0 -> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0), out_count^0 -> (1 + out_count^0)}> (~(1) + InCnt^0), apsim_InCnt^0 -> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> ((0 + hsize_reg10^0) + (~(1) * undef7222)), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + InCnt^0), apsim_InCnt^0 -> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> ((0 + hsize_reg10^0) + (~(1) * undef7222)), fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + InCnt^0), apsim_InCnt^0 -> (~(1) + apsim_InCnt^0), apsim_bound11113^0 -> 0, c7^0 -> (0 + undef7242), disp9^0 -> 1, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> (1 + in_count^0)}> (~(1) + i21^0)}> ((0 + __const_16^0) + ((0 + (~(1) * __const_16^0)) + i21^0))}> ((0 + (~(1) * __const_16^0)) + i21^0)}> (1 + apsim_bound11113^0), i6^0 -> ((0 + (~(1) * disp9^0)) + i6^0), out_count^0 -> (1 + out_count^0)}> (1 + apsim_bound11113^0), i6^0 -> ((0 + (~(1) * disp9^0)) + i6^0)}> ((0 + (~(1) * disp9^0)) + i6^0), out_count^0 -> (1 + out_count^0)}> ((0 + (~(1) * disp9^0)) + i6^0)}> (1 + apsim_bound11113^0), i6^0 -> ((0 + (~(1) * disp9^0)) + i6^0), out_count^0 -> (1 + out_count^0)}> (1 + apsim_bound11113^0), i6^0 -> ((0 + (~(1) * disp9^0)) + i6^0)}> ((0 + (~(1) * disp9^0)) + i6^0), out_count^0 -> (1 + out_count^0)}> (1 + apsim_bound11113^0), i6^0 -> ((0 + hsize_reg10^0) + ((0 + (~(1) * disp9^0)) + i6^0)), out_count^0 -> (1 + out_count^0)}> (1 + apsim_bound11113^0), i6^0 -> ((0 + hsize_reg10^0) + ((0 + (~(1) * disp9^0)) + i6^0))}> ((0 + hsize_reg10^0) + ((0 + (~(1) * disp9^0)) + i6^0)), out_count^0 -> (1 + out_count^0)}> ((0 + hsize_reg10^0) + ((0 + (~(1) * disp9^0)) + i6^0))}> (1 + apsim_bound11113^0), i6^0 -> ((0 + hsize_reg10^0) + ((0 + (~(1) * disp9^0)) + i6^0)), out_count^0 -> (1 + out_count^0)}> (1 + apsim_bound11113^0), i6^0 -> ((0 + hsize_reg10^0) + ((0 + (~(1) * disp9^0)) + i6^0))}> ((0 + hsize_reg10^0) + ((0 + (~(1) * disp9^0)) + i6^0)), out_count^0 -> (1 + out_count^0)}> ((0 + __const_8^0) + (~(1) * hshift11^0)), hsize_reg10^0 -> undef475, i21^0 -> ((0 + (~(1) * __const_16^0)) + undef473)}> undef532, hshift11^0 -> (1 + hshift11^0)}> ((0 + __const_16^0) + ((0 + (~(1) * __const_16^0)) + i29^0))}> ((0 + (~(1) * __const_16^0)) + i29^0)}> (0 + n_bits^0), bytes_out^0 -> undef1593, clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> 0}> (0 + n_bits^0), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), i45^0 -> 0, n44^0 -> undef2064}> undef3796, bytes_out^0 -> ((0 + undef3796) + bytes_out^0), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> undef3796, bytes_out^0 -> ((0 + undef3796) + bytes_out^0), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> undef3796, bytes_out^0 -> ((0 + undef3796) + bytes_out^0), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> undef3796, bytes_out^0 -> ((0 + undef3796) + bytes_out^0), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> ((0 + (~(1) * __const_8^0)) + (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525)), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> ((0 + (~(1) * __const_8^0)) + (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525)), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> undef3796, bytes_out^0 -> ((0 + undef3796) + bytes_out^0), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> ((0 + (~(1) * __const_8^0)) + (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525)), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> ((0 + (~(1) * __const_8^0)) + (((0 + (~(1) * __const_8^0)) + (0 + n_bits^0)) + undef4525)), clear_flg^0 -> 1, free_ent^0 -> (0 + __const_257^0), offset^0 -> ((0 + n_bits^0) + offset^0)}> (~(1) + i29^0)}> (~(1) + bits33^0), offset^0 -> 0}> (~(1) + bits33^0), offset^0 -> 0}> (~(1) + bits33^0), offset^0 -> 0}> (~(1) + bits33^0)}> (~(1) + bits33^0), offset^0 -> 0}> (~(1) + bits33^0), offset^0 -> 0}> (~(1) + bits33^0), offset^0 -> 0}> (~(1) + bits33^0)}> (~(1) + bits33^0), offset^0 -> 0}> (~(1) + bits33^0), offset^0 -> 0}> (~(1) + bits33^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), maxcode^0 -> undef2124, n_bits^0 -> (1 + n_bits^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), maxcode^0 -> undef2124, n_bits^0 -> (1 + n_bits^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), maxcode^0 -> (0 + maxmaxcode^0), n_bits^0 -> (1 + n_bits^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), clear_flg^0 -> 0, maxcode^0 -> undef2439, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), clear_flg^0 -> 0, maxcode^0 -> undef2439, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), maxcode^0 -> undef2124, n_bits^0 -> (1 + n_bits^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), maxcode^0 -> undef2124, n_bits^0 -> (1 + n_bits^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), maxcode^0 -> (0 + maxmaxcode^0), n_bits^0 -> (1 + n_bits^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), clear_flg^0 -> 0, maxcode^0 -> undef2439, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0}> ((0 + bytes_out^0) + n_bits^0), clear_flg^0 -> 0, maxcode^0 -> undef2439, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0}> (1 + i41^0)}> undef1593, offset^0 -> 0}> undef1593, offset^0 -> 0}> (1 + i45^0)}> undef2124, n_bits^0 -> (1 + n_bits^0), offset^0 -> 0}> undef2124, n_bits^0 -> (1 + n_bits^0), offset^0 -> 0}> (0 + maxmaxcode^0), n_bits^0 -> (1 + n_bits^0), offset^0 -> 0}> 0, maxcode^0 -> undef2439, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0}> 0, maxcode^0 -> undef2439, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0}> 0, n40^0 -> (0 + n_bits^0)}> (0 + count^0), apsim_InCnt^0 -> (0 + __const_53^0), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, fcode5^0 -> (0 + hsize^0), free_ent^0 -> (0 + __const_256^0), hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (0 + count^0), apsim_InCnt^0 -> (~(1) + (0 + __const_53^0)), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, fcode5^0 -> (0 + hsize^0), free_ent^0 -> (0 + __const_256^0), hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (~(1) + (0 + count^0)), apsim_InCnt^0 -> (~(1) + (0 + __const_53^0)), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, fcode5^0 -> (0 + hsize^0), free_ent^0 -> (0 + __const_256^0), hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (0 + count^0), apsim_InCnt^0 -> (0 + __const_53^0), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, fcode5^0 -> (0 + hsize^0), free_ent^0 -> (0 + __const_257^0), hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (0 + count^0), apsim_InCnt^0 -> (~(1) + (0 + __const_53^0)), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, fcode5^0 -> (0 + hsize^0), free_ent^0 -> (0 + __const_257^0), hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (~(1) + (0 + count^0)), apsim_InCnt^0 -> (~(1) + (0 + __const_53^0)), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, fcode5^0 -> (0 + hsize^0), free_ent^0 -> (0 + __const_257^0), hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (0 + count^0), apsim_InCnt^0 -> (0 + __const_53^0), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, fcode5^0 -> (0 + hsize^0), free_ent^0 -> (0 + __const_257^0), hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (0 + count^0), apsim_InCnt^0 -> (~(1) + (0 + __const_53^0)), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, fcode5^0 -> (0 + hsize^0), free_ent^0 -> (0 + __const_257^0), hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (~(1) + (0 + count^0)), apsim_InCnt^0 -> (~(1) + (0 + __const_53^0)), bytes_out^0 -> 3, checkpoint^0 -> (0 + __const_10000^0), clear_flg^0 -> 0, fcode5^0 -> (0 + hsize^0), free_ent^0 -> (0 + __const_257^0), hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> (0 + __const_16^0), maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> (0 + __const_9^0), offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0}> (1 + i3^0)}> ((0 + __const_10000^0) + in_count^0), i29^0 -> ((0 + (~(1) * __const_16^0)) + undef4947), rat26^0 -> undef5408, ratio^0 -> 0}> ((0 + __const_10000^0) + in_count^0), rat26^0 -> undef5408, ratio^0 -> (0 + undef5408)}> ((0 + __const_10000^0) + in_count^0), i29^0 -> ((0 + (~(1) * __const_16^0)) + undef4947), rat26^0 -> undef4904, ratio^0 -> 0}> ((0 + __const_10000^0) + in_count^0), rat26^0 -> undef4904, ratio^0 -> (0 + undef4904)}> ((0 + __const_10000^0) + in_count^0), i29^0 -> ((0 + (~(1) * __const_16^0)) + undef4947), rat26^0 -> undef4904, ratio^0 -> 0}> ((0 + __const_10000^0) + in_count^0), rat26^0 -> undef4904, ratio^0 -> (0 + undef4904)}> ((0 + __const_10000^0) + in_count^0), i29^0 -> ((0 + (~(1) * __const_16^0)) + undef4947), rat26^0 -> (0 + __const_2147483647^0), ratio^0 -> 0}> ((0 + __const_10000^0) + in_count^0), rat26^0 -> (0 + __const_2147483647^0), ratio^0 -> (0 + (0 + __const_2147483647^0))}> ((0 + __const_10000^0) + in_count^0), i29^0 -> ((0 + (~(1) * __const_16^0)) + undef4947), rat26^0 -> undef5408, ratio^0 -> 0}> ((0 + __const_10000^0) + in_count^0), rat26^0 -> undef5408, ratio^0 -> (0 + undef5408)}> ((0 + __const_10000^0) + in_count^0), i29^0 -> ((0 + (~(1) * __const_16^0)) + undef4947), rat26^0 -> undef4904, ratio^0 -> 0}> ((0 + __const_10000^0) + in_count^0), rat26^0 -> undef4904, ratio^0 -> (0 + undef4904)}> ((0 + __const_10000^0) + in_count^0), i29^0 -> ((0 + (~(1) * __const_16^0)) + undef4947), rat26^0 -> undef4904, ratio^0 -> 0}> ((0 + __const_10000^0) + in_count^0), rat26^0 -> undef4904, ratio^0 -> (0 + undef4904)}> ((0 + __const_10000^0) + in_count^0), i29^0 -> ((0 + (~(1) * __const_16^0)) + undef4947), rat26^0 -> (0 + __const_2147483647^0), ratio^0 -> 0}> ((0 + __const_10000^0) + in_count^0), rat26^0 -> (0 + __const_2147483647^0), ratio^0 -> (0 + (0 + __const_2147483647^0))}> (1 + free_ent^0)}> Fresh variables: undef473, undef475, undef532, undef689, undef874, undef1279, undef1593, undef2064, undef2124, undef2439, undef3796, undef4307, undef4496, undef4525, undef4904, undef4947, undef5274, undef5275, undef5349, undef5408, undef5471, undef6389, undef7019, undef7210, undef7222, undef7242, undef7427, Undef variables: undef473, undef475, undef532, undef689, undef874, undef1279, undef1593, undef2064, undef2124, undef2439, undef3796, undef4307, undef4496, undef4525, undef4904, undef4947, undef5274, undef5275, undef5349, undef5408, undef5471, undef6389, undef7019, undef7210, undef7222, undef7242, undef7427, Abstraction variables: Exit nodes: Accepting locations: Asserts: ************************************************************* ******************************************************************************************* *********************** WORKING TRANSITION SYSTEM (DAG) *********************** ******************************************************************************************* Init Location: 0 Graph 0: Transitions: Variables: Graph 1: Transitions: 1 + i3^0, rest remain the same}> Variables: count^0, i3^0 Graph 2: Transitions: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Variables: __const_65536^0, fcode5^0, hshift11^0 Graph 3: Transitions: -__const_16^0 + i21^0, rest remain the same}> Variables: __const_16^0, i21^0 Graph 4: Transitions: -1 + i21^0, rest remain the same}> Variables: i21^0 Graph 5: Transitions: -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, out_count^0 -> 1 + out_count^0, rest remain the same}> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> hsize_reg10^0 - undef7222, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> hsize_reg10^0 - undef7222, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> 1, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, out_count^0 -> 1 + out_count^0, rest remain the same}> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> hsize_reg10^0 - undef7222, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> hsize_reg10^0 - undef7222, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> 1, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + InCnt^0, apsim_InCnt^0 -> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, out_count^0 -> 1 + out_count^0, rest remain the same}> -1 + InCnt^0, apsim_InCnt^0 -> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> hsize_reg10^0 - undef7222, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + InCnt^0, apsim_InCnt^0 -> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> hsize_reg10^0 - undef7222, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + InCnt^0, apsim_InCnt^0 -> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> 1, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + InCnt^0, apsim_InCnt^0 -> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + InCnt^0, apsim_InCnt^0 -> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, out_count^0 -> 1 + out_count^0, rest remain the same}> -1 + InCnt^0, apsim_InCnt^0 -> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> hsize_reg10^0 - undef7222, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + InCnt^0, apsim_InCnt^0 -> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> hsize_reg10^0 - undef7222, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> -1 + InCnt^0, apsim_InCnt^0 -> -1 + apsim_InCnt^0, apsim_bound11113^0 -> 0, c7^0 -> undef7242, disp9^0 -> 1, fcode5^0 -> undef7210, i6^0 -> undef7222, in_count^0 -> 1 + in_count^0, rest remain the same}> 1 + apsim_bound11113^0, i6^0 -> -disp9^0 + i6^0, out_count^0 -> 1 + out_count^0, rest remain the same}> 1 + apsim_bound11113^0, i6^0 -> -disp9^0 + i6^0, rest remain the same}> -disp9^0 + i6^0, out_count^0 -> 1 + out_count^0, rest remain the same}> -disp9^0 + i6^0, rest remain the same}> 1 + apsim_bound11113^0, i6^0 -> -disp9^0 + i6^0, out_count^0 -> 1 + out_count^0, rest remain the same}> 1 + apsim_bound11113^0, i6^0 -> -disp9^0 + i6^0, rest remain the same}> -disp9^0 + i6^0, out_count^0 -> 1 + out_count^0, rest remain the same}> 1 + apsim_bound11113^0, i6^0 -> -disp9^0 + hsize_reg10^0 + i6^0, out_count^0 -> 1 + out_count^0, rest remain the same}> 1 + apsim_bound11113^0, i6^0 -> -disp9^0 + hsize_reg10^0 + i6^0, rest remain the same}> -disp9^0 + hsize_reg10^0 + i6^0, out_count^0 -> 1 + out_count^0, rest remain the same}> -disp9^0 + hsize_reg10^0 + i6^0, rest remain the same}> 1 + apsim_bound11113^0, i6^0 -> -disp9^0 + hsize_reg10^0 + i6^0, out_count^0 -> 1 + out_count^0, rest remain the same}> 1 + apsim_bound11113^0, i6^0 -> -disp9^0 + hsize_reg10^0 + i6^0, rest remain the same}> -disp9^0 + hsize_reg10^0 + i6^0, out_count^0 -> 1 + out_count^0, rest remain the same}> -__const_16^0 + i29^0, rest remain the same}> n_bits^0, bytes_out^0 -> undef1593, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> 0, rest remain the same}> n_bits^0, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, i45^0 -> 0, n44^0 -> undef2064, rest remain the same}> undef3796, bytes_out^0 -> bytes_out^0 + undef3796, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> undef3796, bytes_out^0 -> bytes_out^0 + undef3796, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> undef3796, bytes_out^0 -> bytes_out^0 + undef3796, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> undef3796, bytes_out^0 -> bytes_out^0 + undef3796, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -2*__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -2*__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> undef3796, bytes_out^0 -> bytes_out^0 + undef3796, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -2*__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -2*__const_8^0 + n_bits^0 + undef4525, clear_flg^0 -> 1, free_ent^0 -> __const_257^0, offset^0 -> n_bits^0 + offset^0, rest remain the same}> -1 + i29^0, rest remain the same}> -1 + bits33^0, offset^0 -> 0, rest remain the same}> -1 + bits33^0, offset^0 -> 0, rest remain the same}> -1 + bits33^0, offset^0 -> 0, rest remain the same}> -1 + bits33^0, rest remain the same}> -1 + bits33^0, offset^0 -> 0, rest remain the same}> -1 + bits33^0, offset^0 -> 0, rest remain the same}> -1 + bits33^0, offset^0 -> 0, rest remain the same}> -1 + bits33^0, rest remain the same}> -1 + bits33^0, offset^0 -> 0, rest remain the same}> -1 + bits33^0, offset^0 -> 0, rest remain the same}> -1 + bits33^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, maxcode^0 -> undef2124, n_bits^0 -> 1 + n_bits^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, maxcode^0 -> undef2124, n_bits^0 -> 1 + n_bits^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, maxcode^0 -> maxmaxcode^0, n_bits^0 -> 1 + n_bits^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, clear_flg^0 -> 0, maxcode^0 -> undef2439, n_bits^0 -> __const_9^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, clear_flg^0 -> 0, maxcode^0 -> undef2439, n_bits^0 -> __const_9^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, maxcode^0 -> undef2124, n_bits^0 -> 1 + n_bits^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, maxcode^0 -> undef2124, n_bits^0 -> 1 + n_bits^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, maxcode^0 -> maxmaxcode^0, n_bits^0 -> 1 + n_bits^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, clear_flg^0 -> 0, maxcode^0 -> undef2439, n_bits^0 -> __const_9^0, offset^0 -> 0, rest remain the same}> bytes_out^0 + n_bits^0, clear_flg^0 -> 0, maxcode^0 -> undef2439, n_bits^0 -> __const_9^0, offset^0 -> 0, rest remain the same}> 1 + i41^0, rest remain the same}> undef1593, offset^0 -> 0, rest remain the same}> undef1593, offset^0 -> 0, rest remain the same}> 1 + i45^0, rest remain the same}> undef2124, n_bits^0 -> 1 + n_bits^0, offset^0 -> 0, rest remain the same}> undef2124, n_bits^0 -> 1 + n_bits^0, offset^0 -> 0, rest remain the same}> maxmaxcode^0, n_bits^0 -> 1 + n_bits^0, offset^0 -> 0, rest remain the same}> 0, maxcode^0 -> undef2439, n_bits^0 -> __const_9^0, offset^0 -> 0, rest remain the same}> 0, maxcode^0 -> undef2439, n_bits^0 -> __const_9^0, offset^0 -> 0, rest remain the same}> 0, n40^0 -> n_bits^0, rest remain the same}> __const_10000^0 + in_count^0, i29^0 -> -__const_16^0 + undef4947, rat26^0 -> undef5408, ratio^0 -> 0, rest remain the same}> __const_10000^0 + in_count^0, rat26^0 -> undef5408, ratio^0 -> undef5408, rest remain the same}> __const_10000^0 + in_count^0, i29^0 -> -__const_16^0 + undef4947, rat26^0 -> undef4904, ratio^0 -> 0, rest remain the same}> __const_10000^0 + in_count^0, rat26^0 -> undef4904, ratio^0 -> undef4904, rest remain the same}> __const_10000^0 + in_count^0, i29^0 -> -__const_16^0 + undef4947, rat26^0 -> undef4904, ratio^0 -> 0, rest remain the same}> __const_10000^0 + in_count^0, rat26^0 -> undef4904, ratio^0 -> undef4904, rest remain the same}> __const_10000^0 + in_count^0, i29^0 -> -__const_16^0 + undef4947, rat26^0 -> __const_2147483647^0, ratio^0 -> 0, rest remain the same}> __const_10000^0 + in_count^0, rat26^0 -> __const_2147483647^0, ratio^0 -> __const_2147483647^0, rest remain the same}> __const_10000^0 + in_count^0, i29^0 -> -__const_16^0 + undef4947, rat26^0 -> undef5408, ratio^0 -> 0, rest remain the same}> __const_10000^0 + in_count^0, rat26^0 -> undef5408, ratio^0 -> undef5408, rest remain the same}> __const_10000^0 + in_count^0, i29^0 -> -__const_16^0 + undef4947, rat26^0 -> undef4904, ratio^0 -> 0, rest remain the same}> __const_10000^0 + in_count^0, rat26^0 -> undef4904, ratio^0 -> undef4904, rest remain the same}> __const_10000^0 + in_count^0, i29^0 -> -__const_16^0 + undef4947, rat26^0 -> undef4904, ratio^0 -> 0, rest remain the same}> __const_10000^0 + in_count^0, rat26^0 -> undef4904, ratio^0 -> undef4904, rest remain the same}> __const_10000^0 + in_count^0, i29^0 -> -__const_16^0 + undef4947, rat26^0 -> __const_2147483647^0, ratio^0 -> 0, rest remain the same}> __const_10000^0 + in_count^0, rat26^0 -> __const_2147483647^0, ratio^0 -> __const_2147483647^0, rest remain the same}> 1 + free_ent^0, rest remain the same}> Variables: InCnt^0, __const_429496^0, apsim_InCnt^0, c7^0, fcode5^0, i6^0, in_count^0, out_count^0, disp9^0, hsize_reg10^0, apsim_bound11113^0, __const_16^0, i29^0, __const_256^0, __const_257^0, bits33^0, bytes_out^0, free_ent^0, n_bits^0, offset^0, n44^0, __const_8^0, maxcode^0, clear_flg^0, i41^0, maxbits^0, n40^0, maxmaxcode^0, __const_9^0, i45^0, checkpoint^0, block_compress^0, __const_10000^0, __const_8388607^0, hsize^0, rat26^0, ratio^0, __const_2147483647^0 Graph 6: Transitions: Variables: Precedence: Graph 0 Graph 1 Graph 2 count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Graph 3 __const_8^0 - hshift11^0, hsize_reg10^0 -> undef475, i21^0 -> -__const_16^0 + undef473, rest remain the same}> Graph 4 Graph 5 Graph 6 Map Locations to Subgraph: ( 0 , 0 ) ( 2 , 5 ) ( 3 , 4 ) ( 5 , 3 ) ( 7 , 5 ) ( 10 , 2 ) ( 11 , 5 ) ( 14 , 5 ) ( 20 , 5 ) ( 22 , 5 ) ( 25 , 6 ) ( 31 , 5 ) ( 42 , 5 ) ( 57 , 1 ) ( 62 , 5 ) ******************************************************************************************* ******************************** CHECKING ASSERTIONS ******************************** ******************************************************************************************* Proving termination of subgraph 0 Proving termination of subgraph 1 Checking unfeasibility... Time used: 0.00132 Checking conditional termination of SCC {l57}... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002275s Ranking function: -1 + count^0 - i3^0 New Graphs: Proving termination of subgraph 2 Checking unfeasibility... Time used: 0.002743 Checking conditional termination of SCC {l10}... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.000516s LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001115s Trying to remove transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.003532s Time used: 0.003441 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.009241s Time used: 0.00893 Improving Solution with cost 9 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.011135s Time used: 1.01106 LOG: SAT solveNonLinear - Elapsed time: 1.020376s Cost: 9; Total time: 1.01999 Failed at location 10: 1 + __const_65536^0 <= fcode5^0 Failed at location 10: 1 + __const_65536^0 <= fcode5^0 Failed at location 10: 1 + __const_65536^0 <= fcode5^0 Failed at location 10: 1 + __const_65536^0 <= fcode5^0 Failed at location 10: 1 + __const_65536^0 <= fcode5^0 Failed at location 10: 1 + __const_65536^0 <= fcode5^0 Failed at location 10: 1 + __const_65536^0 <= fcode5^0 Failed at location 10: 1 + __const_65536^0 <= fcode5^0 Failed at location 10: 1 + __const_65536^0 <= fcode5^0 Before Improving: Quasi-invariant at l10: 1 + __const_65536^0 <= fcode5^0 Optimizing invariants... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.019969s Remaining time after improvement: 0.998902 Termination implied by a set of quasi-invariant(s): Quasi-invariant at l10: 1 + __const_65536^0 <= fcode5^0 [ Invariant Graph ] Strengthening and disabling transitions... LOG: CALL solverLinear in Graph for feasibility LOG: RETURN solveLinear in Graph for feasibility It's unfeasible. Removing transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> [ Termination Graph ] Strengthening and disabling transitions... LOG: CALL solverLinear in Graph for feasibility LOG: RETURN solveLinear in Graph for feasibility It's unfeasible. Removing transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> New Graphs: Calling Safety with literal 1 + __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:1 + __const_65536^0 <= fcode5^0 - Process 1 * Exit transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : 1 + __const_65536^0 <= fcode5^0 Postcodition moved up: 1 + __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: 1 + __const_65536^0 <= hsize^0 LOG: CALL check - Post:1 + __const_65536^0 <= hsize^0 - Process 2 * Exit transition: * Postcondition : 1 + __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001445s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.001491s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: 1 + __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.008751s Time used: 0.008634 Improving Solution with cost 50 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.009310s Time used: 0.009309 LOG: SAT solveNonLinear - Elapsed time: 0.018061s Cost: 50; Total time: 0.017943 Some transition disabled by a set of invariant(s): Invariant at l57: 0 <= i3^0 Strengthening and disabling transitions... > It's unfeasible. Removing transition: 1 + i3^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.001672s Time used: 0.000617 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.003647s Time used: 0.00358 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.003472s Time used: 1.00321 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 1.039804s Calling Safety with literal 1 + __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:1 + __const_65536^0 <= fcode5^0 - Process 3 * Exit transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : 1 + __const_65536^0 <= fcode5^0 Postcodition moved up: 1 + __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: 1 + __const_65536^0 <= hsize^0 LOG: CALL check - Post:1 + __const_65536^0 <= hsize^0 - Process 4 * Exit transition: * Postcondition : 1 + __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001590s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.001643s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: 1 + __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.004385s Time used: 4.00429 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.005707s Time used: 4.00147 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.001925s Time used: 1.00009 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.032622s Calling Safety with literal 1 + __const_65536^0 <= fcode5^0 and entry -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:1 + __const_65536^0 <= fcode5^0 - Process 5 * Exit transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : 1 + __const_65536^0 <= fcode5^0 Postcodition moved up: 1 + __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: 1 + __const_65536^0 <= hsize^0 LOG: CALL check - Post:1 + __const_65536^0 <= hsize^0 - Process 6 * Exit transition: * Postcondition : 1 + __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001663s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.001716s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: 1 + __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.001481s Time used: 4.00138 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.006234s Time used: 4.00165 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.001597s Time used: 1.00002 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.035011s Calling Safety with literal 1 + __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:1 + __const_65536^0 <= fcode5^0 - Process 7 * Exit transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : 1 + __const_65536^0 <= fcode5^0 Postcodition moved up: 1 + __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: 1 + __const_65536^0 <= hsize^0 LOG: CALL check - Post:1 + __const_65536^0 <= hsize^0 - Process 8 * Exit transition: * Postcondition : 1 + __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001654s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.001701s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: 1 + __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.011004s Time used: 0.010874 Improving Solution with cost 50 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.011525s Time used: 0.011502 LOG: SAT solveNonLinear - Elapsed time: 0.022529s Cost: 50; Total time: 0.022376 Some transition disabled by a set of invariant(s): Invariant at l57: 0 <= i3^0 Strengthening and disabling transitions... > It's unfeasible. Removing transition: 1 + i3^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.001862s Time used: 0.000677 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.005202s Time used: 0.005135 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.001256s Time used: 1.00098 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 1.049683s Calling Safety with literal 1 + __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:1 + __const_65536^0 <= fcode5^0 - Process 9 * Exit transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : 1 + __const_65536^0 <= fcode5^0 Postcodition moved up: 1 + __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: 1 + __const_65536^0 <= hsize^0 LOG: CALL check - Post:1 + __const_65536^0 <= hsize^0 - Process 10 * Exit transition: * Postcondition : 1 + __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001733s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.001789s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: 1 + __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.001694s Time used: 4.0016 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.004557s Time used: 4.00035 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002782s Time used: 1.00028 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.030135s Calling Safety with literal 1 + __const_65536^0 <= fcode5^0 and entry -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:1 + __const_65536^0 <= fcode5^0 - Process 11 * Exit transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : 1 + __const_65536^0 <= fcode5^0 Postcodition moved up: 1 + __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: 1 + __const_65536^0 <= hsize^0 LOG: CALL check - Post:1 + __const_65536^0 <= hsize^0 - Process 12 * Exit transition: * Postcondition : 1 + __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001841s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.001893s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: 1 + __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.002385s Time used: 4.00229 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.019592s Time used: 4.0001 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002255s Time used: 1.0001 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.048850s Calling Safety with literal 1 + __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:1 + __const_65536^0 <= fcode5^0 - Process 13 * Exit transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : 1 + __const_65536^0 <= fcode5^0 Postcodition moved up: 1 + __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: 1 + __const_65536^0 <= hsize^0 LOG: CALL check - Post:1 + __const_65536^0 <= hsize^0 - Process 14 * Exit transition: * Postcondition : 1 + __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001785s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.001836s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: 1 + __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.011657s Time used: 0.011516 Improving Solution with cost 50 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.011644s Time used: 0.011618 LOG: SAT solveNonLinear - Elapsed time: 0.023301s Cost: 50; Total time: 0.023134 Some transition disabled by a set of invariant(s): Invariant at l57: 0 <= i3^0 Strengthening and disabling transitions... > It's unfeasible. Removing transition: 1 + i3^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.001843s Time used: 0.000679 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.005187s Time used: 0.005121 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.001278s Time used: 1.00098 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 1.052526s Calling Safety with literal 1 + __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:1 + __const_65536^0 <= fcode5^0 - Process 15 * Exit transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : 1 + __const_65536^0 <= fcode5^0 Postcodition moved up: 1 + __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: 1 + __const_65536^0 <= hsize^0 LOG: CALL check - Post:1 + __const_65536^0 <= hsize^0 - Process 16 * Exit transition: * Postcondition : 1 + __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001868s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.001919s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: 1 + __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.002267s Time used: 4.00217 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.004341s Time used: 4.00007 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002762s Time used: 1.00001 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.031153s Calling Safety with literal 1 + __const_65536^0 <= fcode5^0 and entry -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:1 + __const_65536^0 <= fcode5^0 - Process 17 * Exit transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : 1 + __const_65536^0 <= fcode5^0 Postcodition moved up: 1 + __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: 1 + __const_65536^0 <= hsize^0 LOG: CALL check - Post:1 + __const_65536^0 <= hsize^0 - Process 18 * Exit transition: * Postcondition : 1 + __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001965s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002017s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: 1 + __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.002683s Time used: 4.00259 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.019570s Time used: 4.00002 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002448s Time used: 1.00007 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.049733s INVARIANTS: 10: Quasi-INVARIANTS to narrow Graph: 10: 1 + __const_65536^0 <= fcode5^0 , Narrowing transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> LOG: Narrow transition size 1 invGraph after Narrowing: Transitions: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Variables: __const_65536^0, fcode5^0, hshift11^0 Checking conditional termination of SCC {l10}... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.000498s LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001296s Trying to remove transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.004021s Time used: 0.003933 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.012942s Time used: 0.012546 Improving Solution with cost 9 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.001573s Time used: 1.00157 LOG: SAT solveNonLinear - Elapsed time: 1.014514s Cost: 9; Total time: 1.01412 Failed at location 10: __const_65536^0 <= fcode5^0 Failed at location 10: __const_65536^0 <= fcode5^0 Failed at location 10: __const_65536^0 <= fcode5^0 Failed at location 10: __const_65536^0 <= fcode5^0 Failed at location 10: __const_65536^0 <= fcode5^0 Failed at location 10: __const_65536^0 <= fcode5^0 Failed at location 10: __const_65536^0 <= fcode5^0 Failed at location 10: __const_65536^0 <= fcode5^0 Failed at location 10: __const_65536^0 <= fcode5^0 Before Improving: Quasi-invariant at l10: __const_65536^0 <= fcode5^0 Optimizing invariants... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.007749s Remaining time after improvement: 0.998968 Termination implied by a set of quasi-invariant(s): Quasi-invariant at l10: __const_65536^0 <= fcode5^0 [ Invariant Graph ] Strengthening and disabling transitions... LOG: CALL solverLinear in Graph for feasibility LOG: RETURN solveLinear in Graph for feasibility It's unfeasible. Removing transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> [ Termination Graph ] Strengthening and disabling transitions... LOG: CALL solverLinear in Graph for feasibility LOG: RETURN solveLinear in Graph for feasibility It's unfeasible. Removing transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> New Graphs: Calling Safety with literal __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:__const_65536^0 <= fcode5^0 - Process 19 * Exit transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : __const_65536^0 <= fcode5^0 Postcodition moved up: __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: __const_65536^0 <= hsize^0 LOG: CALL check - Post:__const_65536^0 <= hsize^0 - Process 20 * Exit transition: * Postcondition : __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002032s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002086s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.011536s Time used: 0.011394 Improving Solution with cost 50 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.011678s Time used: 0.011676 LOG: SAT solveNonLinear - Elapsed time: 0.023214s Cost: 50; Total time: 0.02307 Some transition disabled by a set of invariant(s): Invariant at l57: 0 <= block_compress^0 + i3^0 Strengthening and disabling transitions... > It's unfeasible. Removing transition: 1 + i3^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.001972s Time used: 0.00073 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.004560s Time used: 0.004493 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.001697s Time used: 1.00134 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 1.050754s Calling Safety with literal __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:__const_65536^0 <= fcode5^0 - Process 21 * Exit transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : __const_65536^0 <= fcode5^0 Postcodition moved up: __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: __const_65536^0 <= hsize^0 LOG: CALL check - Post:__const_65536^0 <= hsize^0 - Process 22 * Exit transition: * Postcondition : __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002138s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002194s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.001257s Time used: 4.00113 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.005350s Time used: 4.00295 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.003341s Time used: 1.00009 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.037922s Calling Safety with literal __const_65536^0 <= fcode5^0 and entry -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:__const_65536^0 <= fcode5^0 - Process 23 * Exit transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : __const_65536^0 <= fcode5^0 Postcodition moved up: __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: __const_65536^0 <= hsize^0 LOG: CALL check - Post:__const_65536^0 <= hsize^0 - Process 24 * Exit transition: * Postcondition : __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002192s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002251s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.002845s Time used: 4.00275 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.021212s Time used: 4.00154 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.001919s Time used: 1.00008 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.054079s Calling Safety with literal __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:__const_65536^0 <= fcode5^0 - Process 25 * Exit transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : __const_65536^0 <= fcode5^0 Postcodition moved up: __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: __const_65536^0 <= hsize^0 LOG: CALL check - Post:__const_65536^0 <= hsize^0 - Process 26 * Exit transition: * Postcondition : __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002143s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002196s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.013476s Time used: 0.013326 Improving Solution with cost 50 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.013554s Time used: 0.013551 LOG: SAT solveNonLinear - Elapsed time: 0.027029s Cost: 50; Total time: 0.026877 Some transition disabled by a set of invariant(s): Invariant at l57: 0 <= i3^0 Strengthening and disabling transitions... > It's unfeasible. Removing transition: 1 + i3^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.002015s Time used: 0.000767 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.005394s Time used: 0.005328 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.001651s Time used: 1.00138 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 1.059959s Calling Safety with literal __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:__const_65536^0 <= fcode5^0 - Process 27 * Exit transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : __const_65536^0 <= fcode5^0 Postcodition moved up: __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: __const_65536^0 <= hsize^0 LOG: CALL check - Post:__const_65536^0 <= hsize^0 - Process 28 * Exit transition: * Postcondition : __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002254s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002314s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.002124s Time used: 4.00199 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.020805s Time used: 4.00004 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002665s Time used: 1.00001 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.051239s Calling Safety with literal __const_65536^0 <= fcode5^0 and entry -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:__const_65536^0 <= fcode5^0 - Process 29 * Exit transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : __const_65536^0 <= fcode5^0 Postcodition moved up: __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: __const_65536^0 <= hsize^0 LOG: CALL check - Post:__const_65536^0 <= hsize^0 - Process 30 * Exit transition: * Postcondition : __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002388s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002446s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.002652s Time used: 4.00255 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.020251s Time used: 4.00014 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002435s Time used: 1.00006 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.054540s Calling Safety with literal __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:__const_65536^0 <= fcode5^0 - Process 31 * Exit transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : __const_65536^0 <= fcode5^0 Postcodition moved up: __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: __const_65536^0 <= hsize^0 LOG: CALL check - Post:__const_65536^0 <= hsize^0 - Process 32 * Exit transition: * Postcondition : __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002272s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002324s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.014041s Time used: 0.01389 Improving Solution with cost 50 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.011685s Time used: 0.011683 LOG: SAT solveNonLinear - Elapsed time: 0.025726s Cost: 50; Total time: 0.025573 Some transition disabled by a set of invariant(s): Invariant at l57: 0 <= i3^0 Strengthening and disabling transitions... > It's unfeasible. Removing transition: 1 + i3^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.001994s Time used: 0.000766 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.005574s Time used: 0.005507 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.001514s Time used: 1.00123 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 1.060078s Calling Safety with literal __const_65536^0 <= fcode5^0 and entry count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:__const_65536^0 <= fcode5^0 - Process 33 * Exit transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : __const_65536^0 <= fcode5^0 Postcodition moved up: __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: __const_65536^0 <= hsize^0 LOG: CALL check - Post:__const_65536^0 <= hsize^0 - Process 34 * Exit transition: * Postcondition : __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002474s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002533s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.007069s Time used: 4.00199 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.020720s Time used: 4.00003 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002630s Time used: 1.00001 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.057987s Calling Safety with literal __const_65536^0 <= fcode5^0 and entry -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> LOG: CALL check - Post:__const_65536^0 <= fcode5^0 - Process 35 * Exit transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> * Postcondition : __const_65536^0 <= fcode5^0 Postcodition moved up: __const_65536^0 <= hsize^0 LOG: Try proving POST Postcondition: __const_65536^0 <= hsize^0 LOG: CALL check - Post:__const_65536^0 <= hsize^0 - Process 36 * Exit transition: * Postcondition : __const_65536^0 <= hsize^0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002564s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.002624s LOG: NarrowEntry size 1 Narrowing transition: 1 + i3^0, rest remain the same}> LOG: Narrow transition size 1 ENTRIES: END ENTRIES: GRAPH: 1 + i3^0, rest remain the same}> END GRAPH: EXIT: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> POST: __const_65536^0 <= fcode5^0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.009233s Time used: 4.00256 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.020334s Time used: 4.00009 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.003191s Time used: 1.00017 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.064070s INVARIANTS: 10: Quasi-INVARIANTS to narrow Graph: 10: __const_65536^0 <= fcode5^0 , Narrowing transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> LOG: Narrow transition size 1 invGraph after Narrowing: Transitions: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Variables: __const_65536^0, fcode5^0, hshift11^0 Checking conditional termination of SCC {l10}... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.000522s LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001304s Trying to remove transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.004332s Time used: 0.004237 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.008843s Time used: 4.00292 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.005792s Time used: 4.0023 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.008109s Time used: 1.00002 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.018734s Time used: 0.015113 Improving Solution with cost 1 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.001816s Time used: 1.00181 LOG: SAT solveNonLinear - Elapsed time: 1.020550s Cost: 1; Total time: 1.01692 Termination implied by a set of invariant(s): Invariant at l10: 0 <= 1 + hshift11^0 [ Invariant Graph ] Strengthening and disabling transitions... LOG: CALL solverLinear in Graph for feasibility LOG: RETURN solveLinear in Graph for feasibility Strengthening transition (result): undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> [ Termination Graph ] Strengthening and disabling transitions... LOG: CALL solverLinear in Graph for feasibility LOG: RETURN solveLinear in Graph for feasibility Strengthening transition (result): undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Quasi-ranking function: 50000 - hshift11^0 New Graphs: Transitions: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Variables: __const_65536^0, fcode5^0, hshift11^0 Checking conditional termination of SCC {l10}... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.000531s LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001565s Trying to remove transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.005951s Time used: 0.00584 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.009740s Time used: 4.00343 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.005970s Time used: 4.00252 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.006007s Time used: 1.00221 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.019702s Time used: 0.01664 Improving Solution with cost 1 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.002128s Time used: 1.00212 LOG: SAT solveNonLinear - Elapsed time: 1.021830s Cost: 1; Total time: 1.01876 Quasi-ranking function: 50000 + __const_65536^0 - hshift11^0 New Graphs: Transitions: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Variables: __const_65536^0, fcode5^0, hshift11^0 Checking conditional termination of SCC {l10}... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.000610s LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001840s Trying to remove transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.005591s Time used: 0.005459 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.009055s Time used: 4.00338 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.005998s Time used: 4.00269 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.003850s Time used: 1.00001 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.021634s Time used: 0.017796 Improving Solution with cost 1 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.002549s Time used: 1.00246 LOG: SAT solveNonLinear - Elapsed time: 1.024183s Cost: 1; Total time: 1.02026 Quasi-ranking function: 50000 - __const_65536^0 - hshift11^0 New Graphs: Transitions: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Variables: __const_65536^0, fcode5^0, hshift11^0 Checking conditional termination of SCC {l10}... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.000664s LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002050s Trying to remove transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.005530s Time used: 0.005393 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 2.772409s Time used: 2.76975 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.970476s Time used: 0.967564 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.995741s Time used: 0.993743 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.999954s Time used: 0.997008 Proving non-termination of subgraph 2 Transitions: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Variables: __const_65536^0, fcode5^0, hshift11^0 Checking conditional non-termination of SCC {l10}... EXIT TRANSITIONS: Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.017605s Time used: 0.017409 Improving Solution with cost 9 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.012374s Time used: 0.012372 LOG: SAT solveNonLinear - Elapsed time: 0.029979s Cost: 9; Total time: 0.029781 Failed at location 10: 1 + fcode5^0 <= __const_65536^0 Failed at location 10: 1 + fcode5^0 <= __const_65536^0 Failed at location 10: 1 + fcode5^0 <= __const_65536^0 Failed at location 10: 1 + fcode5^0 <= __const_65536^0 Failed at location 10: 1 + fcode5^0 <= __const_65536^0 Failed at location 10: 1 + fcode5^0 <= __const_65536^0 Failed at location 10: 1 + fcode5^0 <= __const_65536^0 Failed at location 10: 1 + fcode5^0 <= __const_65536^0 Failed at location 10: 1 + fcode5^0 <= __const_65536^0 Before Improving: Quasi-invariant at l10: 1 + fcode5^0 <= __const_65536^0 Optimizing invariants... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002649s Remaining time after improvement: 0.998957 Minimizing number of undef constraints... LOG: CALL solveNonLinear LOG: RETURN solveNonLinear - Elapsed time: 0.008125s Non-termination implied by a set of quasi-invariant(s): Quasi-invariant at l10: 1 + fcode5^0 <= __const_65536^0 Constraint over undef '1 + undef532 <= __const_65536^0' in transition: undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Strengthening and disabling EXIT transitions... Closed exits from l10: 1 Strengthening and disabling transitions... LOG: CALL solverLinear in Graph for feasibility LOG: RETURN solveLinear in Graph for feasibility Strengthening transition (result): undef532, hshift11^0 -> 1 + hshift11^0, rest remain the same}> Calling reachability with... Transition: Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: Conditions: 1 + fcode5^0 <= __const_65536^0, OPEN EXITS: --- Reachability graph --- > Graph without transitions. Calling reachability with... Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, Transition: -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> Conditions: 1 + fcode5^0 <= __const_65536^0, OPEN EXITS: count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_256^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0) -1 + count^0, apsim_InCnt^0 -> -1 + __const_53^0, bytes_out^0 -> 3, checkpoint^0 -> __const_10000^0, clear_flg^0 -> 0, fcode5^0 -> hsize^0, free_ent^0 -> __const_257^0, hshift11^0 -> 0, i6^0 -> 0, in_count^0 -> 1, maxbits^0 -> __const_16^0, maxcode^0 -> undef5274, maxmaxcode^0 -> undef5275, n_bits^0 -> __const_9^0, offset^0 -> 0, out_count^0 -> 0, ratio^0 -> 0, rest remain the same}> (condsUp: 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0) --- Reachability graph --- > Graph without transitions. Calling reachability with... Transition: Conditions: count^0 <= i3^0, count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, block_compress^0 = 0, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= count^0, block_compress^0 = 0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 <= block_compress^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 <= block_compress^0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 <= block_compress^0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, count^0 <= 0, 1 + block_compress^0 <= 0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, __const_53^0 <= 0, 1 + block_compress^0 <= 0, 1 <= count^0, __const_429496^0 = undef689, 1 + hsize^0 <= __const_65536^0, Transition: Conditions: count^0 <= i3^0, 1 <= __const_53^0, 1 + block_compress^0 <= 0, 1 <= count^0, undef689 = undef874, 1 + hsize^0 <= __const_65536^0, OPEN EXITS: > Conditions are reachable! Program does NOT terminate