NO Solver Timeout: 4 Global Timeout: 60 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.002602 Checking conditional termination of SCC {l57}... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.005167s Ranking function: -1 + count^0 - i3^0 New Graphs: Proving termination of subgraph 2 Checking unfeasibility... Time used: 0.005706 Checking conditional termination of SCC {l10}... LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.001046s LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.002313s 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.007369s Time used: 0.007194 Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.020146s Time used: 0.019549 Improving Solution with cost 9 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 1.018385s Time used: 1.01838 LOG: SAT solveNonLinear - Elapsed time: 1.038531s Cost: 9; Total time: 1.03792 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.005954s Remaining time after improvement: 0.99806 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.003233s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.003341s 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.018257s Time used: 0.018029 Improving Solution with cost 50 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.023792s Time used: 0.023786 LOG: SAT solveNonLinear - Elapsed time: 0.042050s Cost: 50; Total time: 0.041815 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.004765s Time used: 0.001464 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.007981s Time used: 0.007869 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002214s Time used: 1.00175 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 1.087041s 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.003361s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.003490s 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.002611s Time used: 4.00249 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.043912s Time used: 4.00221 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.004429s Time used: 1.00037 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.088730s 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.003478s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.003611s 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.003044s Time used: 4.00294 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.043713s Time used: 4.00469 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.005813s Time used: 1.00003 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 9.099013s 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.003478s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.003600s 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.022485s Time used: 0.022236 Improving Solution with cost 50 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.024506s Time used: 0.024499 LOG: SAT solveNonLinear - Elapsed time: 0.046991s Cost: 50; Total time: 0.046735 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.003652s Time used: 0.001453 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.010971s Time used: 0.010859 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002469s Time used: 1.00197 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 1.101709s 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.003667s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.003817s 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.003520s Time used: 4.00342 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 4.017171s Time used: 4.00013 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.501474s Time used: 0.497202 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 8.561626s 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 Timeout expired! Termination failed. Trying to show unreachability... Proving unreachability of 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 <= 0 - Process 12 * 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 <= 0 Postcodition moved up: 1 <= 0 LOG: Try proving POST Postcondition: 1 <= 0 LOG: CALL check - Post:1 <= 0 - Process 13 * Exit transition: * Postcondition : 1 <= 0 LOG: CALL solveLinear LOG: RETURN solveLinear - Elapsed time: 0.003605s > Postcondition is not implied! LOG: RETURN check - Elapsed time: 0.003719s 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 <= 0 LOG: Try proving POST Solving with 1 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.015870s Time used: 0.015627 Improving Solution with cost 50 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.021210s Time used: 0.021202 LOG: SAT solveNonLinear - Elapsed time: 0.037081s Cost: 50; Total time: 0.036829 Some transition disabled by a set of invariant(s): Invariant at l57: count^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.003169s Time used: 0.001341 Solving with 2 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 0.006770s Time used: 0.00666 Solving with 3 template(s). LOG: CALL solveNonLinearGetFirstSolution LOG: RETURN solveNonLinearGetFirstSolution - Elapsed time: 1.002274s Time used: 1.00208 LOG: Postcondition is not implied - no solution > Postcondition is not implied! LOG: RETURN check - Elapsed time: 1.086639s Cannot prove unreachability 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.022723s Time used: 0.022383 Improving Solution with cost 9 ... LOG: CALL solveNonLinearGetNextSolution LOG: RETURN solveNonLinearGetNextSolution - Elapsed time: 0.021453s Time used: 0.021446 LOG: SAT solveNonLinear - Elapsed time: 0.044176s Cost: 9; Total time: 0.043829 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.005166s Remaining time after improvement: 0.998144 Minimizing number of undef constraints... LOG: CALL solveNonLinear LOG: RETURN solveNonLinear - Elapsed time: 0.007482s 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