magic_struct(struct1,4,1,ptrT(structT(struct1)))
magic_struct(struct1,8,2,ptrT(arrT(long)))
magic_struct(struct1,0,0,ptrT(structT(struct1)))
magic_phi(main,[x13,x14],[long,ptrT(arrT(ptrT(arrT(byte))))],[y168,y169,y170,y171,y172,y173,y174,y175,y176,y177,y178,y179,y180,y181,y182,y183,y184,y185,y186,y187,y188,y189,y190,y191,y192],[long,ptrT(structT(struct1)),ptrT(arrT(long)),ptrT(arrT(long)),ptrT(arrT(long)),long,ptrT(arrT(byte)),long,long,long,long,long,long,long,long,long,ptrT(arrT(byte)),long,long,long,long,long,long,ptrT(arrT(byte)),long],label_.BB000,[label_.BB000-assign(lvar(y170),newArr(long,lit(2)),assign(lvar(y171),newArr(long,lit(2)),assign(lvar(y172),newArr(long,lit(2)),assign(lvar(y174),call(kdtree.istr7,[]),assign(lvar(y175),call(prints,[lval(lvar(y174))]),assign(lvar(y169),lit(0),assign(lvar(y173),lit(300),goto(label_.BB17)))))))),label_.BB16-assign(arr(y170,lit(0)),lval(lvar(y173)),assign(lvar(y176),lit(2500),assign(lvar(y177),lval(lvar(y176)),assign(lvar(y177),binop(sub,lval(lvar(y177)),lval(lvar(y173))),assign(arr(y170,lit(1)),lval(lvar(y177)),assign(lvar(y169),call(Insert,[lval(lvar(y170)),lval(lvar(y169))]),assign(lvar(y173),binop(add,lval(lvar(y173)),lit(1)),assign(lvar(y178),lval(lvar(y173)),assign(lvar(y178),binop(sub,lval(lvar(y178)),lit(370)),assign(lvar(y179),lval(lvar(y173)),assign(lvar(y181),lval(lvar(y173)),assign(lvar(y179),binop(or,lval(lvar(y179)),lit(370)),assign(lvar(y181),binop(and,lval(lvar(y181)),lit(370)),assign(lvar(y179),binop(sub,lval(lvar(y179)),lval(lvar(y181))),assign(lvar(y180),lval(lvar(y178)),assign(lvar(y182),lval(lvar(y178)),assign(lvar(y180),binop(or,lval(lvar(y180)),lval(lvar(y173))),assign(lvar(y182),binop(and,lval(lvar(y182)),lval(lvar(y173))),assign(lvar(y180),binop(sub,lval(lvar(y180)),lval(lvar(y182))),assign(lvar(y179),binop(and,lval(lvar(y179)),lval(lvar(y180))),assign(lvar(y180),lval(lvar(y178)),assign(lvar(y183),lval(lvar(y178)),assign(lvar(y180),binop(or,lval(lvar(y180)),lval(lvar(y179))),assign(lvar(y183),binop(and,lval(lvar(y183)),lval(lvar(y179))),assign(lvar(y180),binop(sub,lval(lvar(y180)),lval(lvar(y183))),assign(lvar(y180),binop(sr,lval(lvar(y180)),lit(31)),if(y180,label_.BB16,assign(lvar(y184),call(kdtree.istr8,[]),assign(lvar(y185),call(prints,[lval(lvar(y184))]),assign(lvar(y173),lit(1),assign(lvar(y186),lit(70),assign(arr(y171,lit(0)),lval(lvar(y186)),assign(lvar(y187),lit(2186),assign(arr(y171,lit(1)),lval(lvar(y187)),assign(lvar(y188),lit(1200),assign(arr(y172,lit(0)),lval(lvar(y188)),assign(lvar(y189),lit(2200),assign(arr(y172,lit(1)),lval(lvar(y189)),assign(lvar(y190),call(PrintRange,[lval(lvar(y171)),lval(lvar(y172)),lval(lvar(y169))]),assign(lvar(y191),call(kdtree.istr9,[]),assign(lvar(y192),call(prints,[lval(lvar(y191))]),assign(lvar(y168),lit(0),return)))))))))))))))))))))))))))))))))))))))))),label_.BB17-assign(lvar(y178),lval(lvar(y173)),assign(lvar(y178),binop(sub,lval(lvar(y178)),lit(370)),assign(lvar(y179),lval(lvar(y173)),assign(lvar(y181),lval(lvar(y173)),assign(lvar(y179),binop(or,lval(lvar(y179)),lit(370)),assign(lvar(y181),binop(and,lval(lvar(y181)),lit(370)),assign(lvar(y179),binop(sub,lval(lvar(y179)),lval(lvar(y181))),assign(lvar(y180),lval(lvar(y178)),assign(lvar(y182),lval(lvar(y178)),assign(lvar(y180),binop(or,lval(lvar(y180)),lval(lvar(y173))),assign(lvar(y182),binop(and,lval(lvar(y182)),lval(lvar(y173))),assign(lvar(y180),binop(sub,lval(lvar(y180)),lval(lvar(y182))),assign(lvar(y179),binop(and,lval(lvar(y179)),lval(lvar(y180))),assign(lvar(y180),lval(lvar(y178)),assign(lvar(y183),lval(lvar(y178)),assign(lvar(y180),binop(or,lval(lvar(y180)),lval(lvar(y179))),assign(lvar(y183),binop(and,lval(lvar(y183)),lval(lvar(y179))),assign(lvar(y180),binop(sub,lval(lvar(y180)),lval(lvar(y183))),assign(lvar(y180),binop(sr,lval(lvar(y180)),lit(31)),if(y180,label_.BB16,assign(lvar(y184),call(kdtree.istr8,[]),assign(lvar(y185),call(prints,[lval(lvar(y184))]),assign(lvar(y173),lit(1),assign(lvar(y186),lit(70),assign(arr(y171,lit(0)),lval(lvar(y186)),assign(lvar(y187),lit(2186),assign(arr(y171,lit(1)),lval(lvar(y187)),assign(lvar(y188),lit(1200),assign(arr(y172,lit(0)),lval(lvar(y188)),assign(lvar(y189),lit(2200),assign(arr(y172,lit(1)),lval(lvar(y189)),assign(lvar(y190),call(PrintRange,[lval(lvar(y171)),lval(lvar(y172)),lval(lvar(y169))]),assign(lvar(y191),call(kdtree.istr9,[]),assign(lvar(y192),call(prints,[lval(lvar(y191))]),assign(lvar(y168),lit(0),return)))))))))))))))))))))))))))))))))))],1)
magic_phi(PrintRange,[x10,x11,x12],[ptrT(arrT(long)),ptrT(arrT(long)),ptrT(structT(struct1))],[y165,y166,y167],[long,long,long],label_.BB000,[label_.BB000-assign(lvar(y167),lit(0),assign(lvar(y166),call(RecPrintRange,[lval(lvar(x10)),lval(lvar(x11)),lval(lvar(x12)),lval(lvar(y167))]),return))],1)
magic_phi(RecPrintRange,[x6,x7,x8,x9],[ptrT(arrT(long)),ptrT(arrT(long)),ptrT(structT(struct1)),long],[y83,y84,y85,y86,y87,y88,y89,y90,y91,y92,y93,y94,y95,y96,y97,y98,y99,y100,y101,y102,y103,y104,y105,y106,y107,y108,y109,y110,y111,y112,y113,y114,y115,y116,y117,y118,y119,y120,y121,y122,y123,y124,y125,y126,y127,y128,y129,y130,y131,y132,y133,y134,y135,y136,y137,y138,y139,y140,y141,y142,y143,y144,y145,y146,y147,y148,y149,y150,y151,y152,y153,y154,y155,y156,y157,y158,y159,y160,y161,y162,y163,y164],[long,long,long,ptrT(long),long,long,long,long,long,long,long,ptrT(long),long,long,long,long,long,long,long,long,long,ptrT(arrT(long)),long,long,long,long,long,long,long,ptrT(arrT(long)),long,long,long,long,long,long,long,long,ptrT(arrT(byte)),long,ptrT(long),long,long,ptrT(arrT(byte)),long,ptrT(arrT(long)),long,long,ptrT(arrT(byte)),long,ptrT(arrT(long)),long,ptrT(arrT(long)),ptrT(arrT(long)),long,long,long,long,long,long,long,ptrT(structT(struct1)),long,long,long,long,ptrT(arrT(long)),long,ptrT(arrT(long)),ptrT(arrT(long)),long,long,long,long,long,long,long,ptrT(structT(struct1)),long,long,long,long],label_.BB000,[label_.BB000-if(x8,label_.BB18,assign(lvar(y84),lit(1),goto(label_.BB19))),label_.BB18-assign(lvar(y84),lit(0),if(y84,label_.BB15,assign(lvar(y85),lval(arr(x6,lit(0))),assign(lvar(y86),lval(field(x8,2)),assign(lvar(y87),lval(deref(y86)),assign(lvar(y88),lval(lvar(y87)),assign(lvar(y88),binop(sub,lval(lvar(y88)),lval(lvar(y85))),assign(lvar(y89),lval(lvar(y87)),assign(lvar(y91),lval(lvar(y87)),assign(lvar(y89),binop(or,lval(lvar(y89)),lval(lvar(y85))),assign(lvar(y91),binop(and,lval(lvar(y91)),lval(lvar(y85))),assign(lvar(y89),binop(sub,lval(lvar(y89)),lval(lvar(y91))),assign(lvar(y90),lval(lvar(y88)),assign(lvar(y92),lval(lvar(y88)),assign(lvar(y90),binop(or,lval(lvar(y90)),lval(lvar(y87))),assign(lvar(y92),binop(and,lval(lvar(y92)),lval(lvar(y87))),assign(lvar(y90),binop(sub,lval(lvar(y90)),lval(lvar(y92))),assign(lvar(y89),binop(and,lval(lvar(y89)),lval(lvar(y90))),assign(lvar(y90),lval(lvar(y88)),assign(lvar(y93),lval(lvar(y88)),assign(lvar(y90),binop(or,lval(lvar(y90)),lval(lvar(y89))),assign(lvar(y93),binop(and,lval(lvar(y93)),lval(lvar(y89))),assign(lvar(y90),binop(sub,lval(lvar(y90)),lval(lvar(y93))),assign(lvar(y90),binop(sr,lval(lvar(y90)),lit(31)),if(y90,label_.BB9,assign(lvar(y94),lval(field(x8,2)),assign(lvar(y95),lval(deref(y94)),assign(lvar(y96),lval(arr(x7,lit(0))),assign(lvar(y97),lval(lvar(y96)),assign(lvar(y97),binop(sub,lval(lvar(y97)),lval(lvar(y95))),assign(lvar(y98),lval(lvar(y96)),assign(lvar(y100),lval(lvar(y96)),assign(lvar(y98),binop(or,lval(lvar(y98)),lval(lvar(y95))),assign(lvar(y100),binop(and,lval(lvar(y100)),lval(lvar(y95))),assign(lvar(y98),binop(sub,lval(lvar(y98)),lval(lvar(y100))),assign(lvar(y99),lval(lvar(y97)),assign(lvar(y101),lval(lvar(y97)),assign(lvar(y99),binop(or,lval(lvar(y99)),lval(lvar(y96))),assign(lvar(y101),binop(and,lval(lvar(y101)),lval(lvar(y96))),assign(lvar(y99),binop(sub,lval(lvar(y99)),lval(lvar(y101))),assign(lvar(y98),binop(and,lval(lvar(y98)),lval(lvar(y99))),assign(lvar(y99),lval(lvar(y97)),assign(lvar(y102),lval(lvar(y97)),assign(lvar(y99),binop(or,lval(lvar(y99)),lval(lvar(y98))),assign(lvar(y102),binop(and,lval(lvar(y102)),lval(lvar(y98))),assign(lvar(y99),binop(sub,lval(lvar(y99)),lval(lvar(y102))),assign(lvar(y99),binop(sr,lval(lvar(y99)),lit(31)),if(y99,label_.BB9,assign(lvar(y103),lval(arr(x6,lit(1))),assign(lvar(y104),lval(field(x8,2)),assign(lvar(y105),lval(arr(y104,lit(1))),assign(lvar(y106),lval(lvar(y105)),assign(lvar(y106),binop(sub,lval(lvar(y106)),lval(lvar(y103))),assign(lvar(y107),lval(lvar(y105)),assign(lvar(y109),lval(lvar(y105)),assign(lvar(y107),binop(or,lval(lvar(y107)),lval(lvar(y103))),assign(lvar(y109),binop(and,lval(lvar(y109)),lval(lvar(y103))),assign(lvar(y107),binop(sub,lval(lvar(y107)),lval(lvar(y109))),assign(lvar(y108),lval(lvar(y106)),assign(lvar(y110),lval(lvar(y106)),assign(lvar(y108),binop(or,lval(lvar(y108)),lval(lvar(y105))),assign(lvar(y110),binop(and,lval(lvar(y110)),lval(lvar(y105))),assign(lvar(y108),binop(sub,lval(lvar(y108)),lval(lvar(y110))),assign(lvar(y107),binop(and,lval(lvar(y107)),lval(lvar(y108))),assign(lvar(y108),lval(lvar(y106)),assign(lvar(y111),lval(lvar(y106)),assign(lvar(y108),binop(or,lval(lvar(y108)),lval(lvar(y107))),assign(lvar(y111),binop(and,lval(lvar(y111)),lval(lvar(y107))),assign(lvar(y108),binop(sub,lval(lvar(y108)),lval(lvar(y111))),assign(lvar(y108),binop(sr,lval(lvar(y108)),lit(31)),if(y108,label_.BB9,assign(lvar(y112),lval(field(x8,2)),assign(lvar(y113),lval(arr(y112,lit(1))),assign(lvar(y114),lval(arr(x7,lit(1))),assign(lvar(y115),lval(lvar(y114)),assign(lvar(y115),binop(sub,lval(lvar(y115)),lval(lvar(y113))),assign(lvar(y116),lval(lvar(y114)),assign(lvar(y118),lval(lvar(y114)),assign(lvar(y116),binop(or,lval(lvar(y116)),lval(lvar(y113))),assign(lvar(y118),binop(and,lval(lvar(y118)),lval(lvar(y113))),assign(lvar(y116),binop(sub,lval(lvar(y116)),lval(lvar(y118))),assign(lvar(y117),lval(lvar(y115)),assign(lvar(y119),lval(lvar(y115)),assign(lvar(y117),binop(or,lval(lvar(y117)),lval(lvar(y114))),assign(lvar(y119),binop(and,lval(lvar(y119)),lval(lvar(y114))),assign(lvar(y117),binop(sub,lval(lvar(y117)),lval(lvar(y119))),assign(lvar(y116),binop(and,lval(lvar(y116)),lval(lvar(y117))),assign(lvar(y117),lval(lvar(y115)),assign(lvar(y120),lval(lvar(y115)),assign(lvar(y117),binop(or,lval(lvar(y117)),lval(lvar(y116))),assign(lvar(y120),binop(and,lval(lvar(y120)),lval(lvar(y116))),assign(lvar(y117),binop(sub,lval(lvar(y117)),lval(lvar(y120))),assign(lvar(y117),binop(sr,lval(lvar(y117)),lit(31)),if(y117,label_.BB9,assign(lvar(y121),call(kdtree.istr4,[]),assign(lvar(y122),call(prints,[lval(lvar(y121))]),assign(lvar(y123),lval(field(x8,2)),assign(lvar(y124),lval(deref(y123)),assign(lvar(y125),call(print32,[lval(lvar(y124))]),assign(lvar(y126),call(kdtree.istr5,[]),assign(lvar(y127),call(prints,[lval(lvar(y126))]),assign(lvar(y128),lval(field(x8,2)),assign(lvar(y129),lval(arr(y128,lit(1))),assign(lvar(y130),call(print32,[lval(lvar(y129))]),assign(lvar(y131),call(kdtree.istr6,[]),assign(lvar(y132),call(prints,[lval(lvar(y131))]),assign(lvar(y133),lval(lvar(x6)),assign(lvar(y133),binop(add,lval(lvar(y133)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y134),lval(arr(y133,lit(0))),assign(lvar(y135),lval(field(x8,2)),assign(lvar(y136),lval(lvar(y135)),assign(lvar(y136),binop(add,lval(lvar(y136)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y137),lval(arr(y136,lit(0))),assign(lvar(y138),lval(lvar(y137)),assign(lvar(y138),binop(sub,lval(lvar(y138)),lval(lvar(y134))),assign(lvar(y139),lval(lvar(y137)),assign(lvar(y141),lval(lvar(y137)),assign(lvar(y139),binop(or,lval(lvar(y139)),lval(lvar(y134))),assign(lvar(y141),binop(and,lval(lvar(y141)),lval(lvar(y134))),assign(lvar(y139),binop(sub,lval(lvar(y139)),lval(lvar(y141))),assign(lvar(y140),lval(lvar(y138)),assign(lvar(y142),lval(lvar(y138)),assign(lvar(y140),binop(or,lval(lvar(y140)),lval(lvar(y137))),assign(lvar(y142),binop(and,lval(lvar(y142)),lval(lvar(y137))),assign(lvar(y140),binop(sub,lval(lvar(y140)),lval(lvar(y142))),assign(lvar(y139),binop(and,lval(lvar(y139)),lval(lvar(y140))),assign(lvar(y140),lval(lvar(y138)),assign(lvar(y143),lval(lvar(y138)),assign(lvar(y140),binop(or,lval(lvar(y140)),lval(lvar(y139))),assign(lvar(y143),binop(and,lval(lvar(y143)),lval(lvar(y139))),assign(lvar(y140),binop(sub,lval(lvar(y140)),lval(lvar(y143))),assign(lvar(y140),binop(sr,lval(lvar(y140)),lit(31)),if(y140,label_.BB12,assign(lvar(y144),lval(field(x8,0)),assign(lvar(y145),lval(lvar(x9)),assign(lvar(y145),binop(sub,lval(lvar(y145)),lit(1)),assign(lvar(y146),lval(lvar(x9)),assign(lvar(y146),binop(mul,lval(lvar(y146)),lit(-1)),assign(lvar(y146),binop(add,lval(lvar(y146)),lit(-1)),assign(lvar(y145),binop(and,lval(lvar(y145)),lval(lvar(y146))),assign(lvar(y145),binop(sr,lval(lvar(y145)),lit(31)),if(y145,label_.BB10,assign(lvar(y147),lit(0),goto(label_.BB11)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),label_.BB19-if(y84,label_.BB15,assign(lvar(y85),lval(arr(x6,lit(0))),assign(lvar(y86),lval(field(x8,2)),assign(lvar(y87),lval(deref(y86)),assign(lvar(y88),lval(lvar(y87)),assign(lvar(y88),binop(sub,lval(lvar(y88)),lval(lvar(y85))),assign(lvar(y89),lval(lvar(y87)),assign(lvar(y91),lval(lvar(y87)),assign(lvar(y89),binop(or,lval(lvar(y89)),lval(lvar(y85))),assign(lvar(y91),binop(and,lval(lvar(y91)),lval(lvar(y85))),assign(lvar(y89),binop(sub,lval(lvar(y89)),lval(lvar(y91))),assign(lvar(y90),lval(lvar(y88)),assign(lvar(y92),lval(lvar(y88)),assign(lvar(y90),binop(or,lval(lvar(y90)),lval(lvar(y87))),assign(lvar(y92),binop(and,lval(lvar(y92)),lval(lvar(y87))),assign(lvar(y90),binop(sub,lval(lvar(y90)),lval(lvar(y92))),assign(lvar(y89),binop(and,lval(lvar(y89)),lval(lvar(y90))),assign(lvar(y90),lval(lvar(y88)),assign(lvar(y93),lval(lvar(y88)),assign(lvar(y90),binop(or,lval(lvar(y90)),lval(lvar(y89))),assign(lvar(y93),binop(and,lval(lvar(y93)),lval(lvar(y89))),assign(lvar(y90),binop(sub,lval(lvar(y90)),lval(lvar(y93))),assign(lvar(y90),binop(sr,lval(lvar(y90)),lit(31)),if(y90,label_.BB9,assign(lvar(y94),lval(field(x8,2)),assign(lvar(y95),lval(deref(y94)),assign(lvar(y96),lval(arr(x7,lit(0))),assign(lvar(y97),lval(lvar(y96)),assign(lvar(y97),binop(sub,lval(lvar(y97)),lval(lvar(y95))),assign(lvar(y98),lval(lvar(y96)),assign(lvar(y100),lval(lvar(y96)),assign(lvar(y98),binop(or,lval(lvar(y98)),lval(lvar(y95))),assign(lvar(y100),binop(and,lval(lvar(y100)),lval(lvar(y95))),assign(lvar(y98),binop(sub,lval(lvar(y98)),lval(lvar(y100))),assign(lvar(y99),lval(lvar(y97)),assign(lvar(y101),lval(lvar(y97)),assign(lvar(y99),binop(or,lval(lvar(y99)),lval(lvar(y96))),assign(lvar(y101),binop(and,lval(lvar(y101)),lval(lvar(y96))),assign(lvar(y99),binop(sub,lval(lvar(y99)),lval(lvar(y101))),assign(lvar(y98),binop(and,lval(lvar(y98)),lval(lvar(y99))),assign(lvar(y99),lval(lvar(y97)),assign(lvar(y102),lval(lvar(y97)),assign(lvar(y99),binop(or,lval(lvar(y99)),lval(lvar(y98))),assign(lvar(y102),binop(and,lval(lvar(y102)),lval(lvar(y98))),assign(lvar(y99),binop(sub,lval(lvar(y99)),lval(lvar(y102))),assign(lvar(y99),binop(sr,lval(lvar(y99)),lit(31)),if(y99,label_.BB9,assign(lvar(y103),lval(arr(x6,lit(1))),assign(lvar(y104),lval(field(x8,2)),assign(lvar(y105),lval(arr(y104,lit(1))),assign(lvar(y106),lval(lvar(y105)),assign(lvar(y106),binop(sub,lval(lvar(y106)),lval(lvar(y103))),assign(lvar(y107),lval(lvar(y105)),assign(lvar(y109),lval(lvar(y105)),assign(lvar(y107),binop(or,lval(lvar(y107)),lval(lvar(y103))),assign(lvar(y109),binop(and,lval(lvar(y109)),lval(lvar(y103))),assign(lvar(y107),binop(sub,lval(lvar(y107)),lval(lvar(y109))),assign(lvar(y108),lval(lvar(y106)),assign(lvar(y110),lval(lvar(y106)),assign(lvar(y108),binop(or,lval(lvar(y108)),lval(lvar(y105))),assign(lvar(y110),binop(and,lval(lvar(y110)),lval(lvar(y105))),assign(lvar(y108),binop(sub,lval(lvar(y108)),lval(lvar(y110))),assign(lvar(y107),binop(and,lval(lvar(y107)),lval(lvar(y108))),assign(lvar(y108),lval(lvar(y106)),assign(lvar(y111),lval(lvar(y106)),assign(lvar(y108),binop(or,lval(lvar(y108)),lval(lvar(y107))),assign(lvar(y111),binop(and,lval(lvar(y111)),lval(lvar(y107))),assign(lvar(y108),binop(sub,lval(lvar(y108)),lval(lvar(y111))),assign(lvar(y108),binop(sr,lval(lvar(y108)),lit(31)),if(y108,label_.BB9,assign(lvar(y112),lval(field(x8,2)),assign(lvar(y113),lval(arr(y112,lit(1))),assign(lvar(y114),lval(arr(x7,lit(1))),assign(lvar(y115),lval(lvar(y114)),assign(lvar(y115),binop(sub,lval(lvar(y115)),lval(lvar(y113))),assign(lvar(y116),lval(lvar(y114)),assign(lvar(y118),lval(lvar(y114)),assign(lvar(y116),binop(or,lval(lvar(y116)),lval(lvar(y113))),assign(lvar(y118),binop(and,lval(lvar(y118)),lval(lvar(y113))),assign(lvar(y116),binop(sub,lval(lvar(y116)),lval(lvar(y118))),assign(lvar(y117),lval(lvar(y115)),assign(lvar(y119),lval(lvar(y115)),assign(lvar(y117),binop(or,lval(lvar(y117)),lval(lvar(y114))),assign(lvar(y119),binop(and,lval(lvar(y119)),lval(lvar(y114))),assign(lvar(y117),binop(sub,lval(lvar(y117)),lval(lvar(y119))),assign(lvar(y116),binop(and,lval(lvar(y116)),lval(lvar(y117))),assign(lvar(y117),lval(lvar(y115)),assign(lvar(y120),lval(lvar(y115)),assign(lvar(y117),binop(or,lval(lvar(y117)),lval(lvar(y116))),assign(lvar(y120),binop(and,lval(lvar(y120)),lval(lvar(y116))),assign(lvar(y117),binop(sub,lval(lvar(y117)),lval(lvar(y120))),assign(lvar(y117),binop(sr,lval(lvar(y117)),lit(31)),if(y117,label_.BB9,assign(lvar(y121),call(kdtree.istr4,[]),assign(lvar(y122),call(prints,[lval(lvar(y121))]),assign(lvar(y123),lval(field(x8,2)),assign(lvar(y124),lval(deref(y123)),assign(lvar(y125),call(print32,[lval(lvar(y124))]),assign(lvar(y126),call(kdtree.istr5,[]),assign(lvar(y127),call(prints,[lval(lvar(y126))]),assign(lvar(y128),lval(field(x8,2)),assign(lvar(y129),lval(arr(y128,lit(1))),assign(lvar(y130),call(print32,[lval(lvar(y129))]),assign(lvar(y131),call(kdtree.istr6,[]),assign(lvar(y132),call(prints,[lval(lvar(y131))]),assign(lvar(y133),lval(lvar(x6)),assign(lvar(y133),binop(add,lval(lvar(y133)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y134),lval(arr(y133,lit(0))),assign(lvar(y135),lval(field(x8,2)),assign(lvar(y136),lval(lvar(y135)),assign(lvar(y136),binop(add,lval(lvar(y136)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y137),lval(arr(y136,lit(0))),assign(lvar(y138),lval(lvar(y137)),assign(lvar(y138),binop(sub,lval(lvar(y138)),lval(lvar(y134))),assign(lvar(y139),lval(lvar(y137)),assign(lvar(y141),lval(lvar(y137)),assign(lvar(y139),binop(or,lval(lvar(y139)),lval(lvar(y134))),assign(lvar(y141),binop(and,lval(lvar(y141)),lval(lvar(y134))),assign(lvar(y139),binop(sub,lval(lvar(y139)),lval(lvar(y141))),assign(lvar(y140),lval(lvar(y138)),assign(lvar(y142),lval(lvar(y138)),assign(lvar(y140),binop(or,lval(lvar(y140)),lval(lvar(y137))),assign(lvar(y142),binop(and,lval(lvar(y142)),lval(lvar(y137))),assign(lvar(y140),binop(sub,lval(lvar(y140)),lval(lvar(y142))),assign(lvar(y139),binop(and,lval(lvar(y139)),lval(lvar(y140))),assign(lvar(y140),lval(lvar(y138)),assign(lvar(y143),lval(lvar(y138)),assign(lvar(y140),binop(or,lval(lvar(y140)),lval(lvar(y139))),assign(lvar(y143),binop(and,lval(lvar(y143)),lval(lvar(y139))),assign(lvar(y140),binop(sub,lval(lvar(y140)),lval(lvar(y143))),assign(lvar(y140),binop(sr,lval(lvar(y140)),lit(31)),if(y140,label_.BB12,assign(lvar(y144),lval(field(x8,0)),assign(lvar(y145),lval(lvar(x9)),assign(lvar(y145),binop(sub,lval(lvar(y145)),lit(1)),assign(lvar(y146),lval(lvar(x9)),assign(lvar(y146),binop(mul,lval(lvar(y146)),lit(-1)),assign(lvar(y146),binop(add,lval(lvar(y146)),lit(-1)),assign(lvar(y145),binop(and,lval(lvar(y145)),lval(lvar(y146))),assign(lvar(y145),binop(sr,lval(lvar(y145)),lit(31)),if(y145,label_.BB10,assign(lvar(y147),lit(0),goto(label_.BB11))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))),label_.BB9-assign(lvar(y133),lval(lvar(x6)),assign(lvar(y133),binop(add,lval(lvar(y133)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y134),lval(arr(y133,lit(0))),assign(lvar(y135),lval(field(x8,2)),assign(lvar(y136),lval(lvar(y135)),assign(lvar(y136),binop(add,lval(lvar(y136)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y137),lval(arr(y136,lit(0))),assign(lvar(y138),lval(lvar(y137)),assign(lvar(y138),binop(sub,lval(lvar(y138)),lval(lvar(y134))),assign(lvar(y139),lval(lvar(y137)),assign(lvar(y141),lval(lvar(y137)),assign(lvar(y139),binop(or,lval(lvar(y139)),lval(lvar(y134))),assign(lvar(y141),binop(and,lval(lvar(y141)),lval(lvar(y134))),assign(lvar(y139),binop(sub,lval(lvar(y139)),lval(lvar(y141))),assign(lvar(y140),lval(lvar(y138)),assign(lvar(y142),lval(lvar(y138)),assign(lvar(y140),binop(or,lval(lvar(y140)),lval(lvar(y137))),assign(lvar(y142),binop(and,lval(lvar(y142)),lval(lvar(y137))),assign(lvar(y140),binop(sub,lval(lvar(y140)),lval(lvar(y142))),assign(lvar(y139),binop(and,lval(lvar(y139)),lval(lvar(y140))),assign(lvar(y140),lval(lvar(y138)),assign(lvar(y143),lval(lvar(y138)),assign(lvar(y140),binop(or,lval(lvar(y140)),lval(lvar(y139))),assign(lvar(y143),binop(and,lval(lvar(y143)),lval(lvar(y139))),assign(lvar(y140),binop(sub,lval(lvar(y140)),lval(lvar(y143))),assign(lvar(y140),binop(sr,lval(lvar(y140)),lit(31)),if(y140,label_.BB12,assign(lvar(y144),lval(field(x8,0)),assign(lvar(y145),lval(lvar(x9)),assign(lvar(y145),binop(sub,lval(lvar(y145)),lit(1)),assign(lvar(y146),lval(lvar(x9)),assign(lvar(y146),binop(mul,lval(lvar(y146)),lit(-1)),assign(lvar(y146),binop(add,lval(lvar(y146)),lit(-1)),assign(lvar(y145),binop(and,lval(lvar(y145)),lval(lvar(y146))),assign(lvar(y145),binop(sr,lval(lvar(y145)),lit(31)),if(y145,label_.BB10,assign(lvar(y147),lit(0),goto(label_.BB11)))))))))))))))))))))))))))))))))))))),label_.BB10-assign(lvar(y147),lit(1),assign(lvar(y148),call(RecPrintRange,[lval(lvar(x6)),lval(lvar(x7)),lval(lvar(y144)),lval(lvar(y147))]),assign(lvar(y149),lval(lvar(x7)),assign(lvar(y149),binop(add,lval(lvar(y149)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y150),lval(arr(y149,lit(0))),assign(lvar(y151),lval(field(x8,2)),assign(lvar(y152),lval(lvar(y151)),assign(lvar(y152),binop(add,lval(lvar(y152)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y153),lval(arr(y152,lit(0))),assign(lvar(y154),lval(lvar(y150)),assign(lvar(y154),binop(sub,lval(lvar(y154)),lval(lvar(y153))),assign(lvar(y155),lval(lvar(y150)),assign(lvar(y157),lval(lvar(y150)),assign(lvar(y155),binop(or,lval(lvar(y155)),lval(lvar(y153))),assign(lvar(y157),binop(and,lval(lvar(y157)),lval(lvar(y153))),assign(lvar(y155),binop(sub,lval(lvar(y155)),lval(lvar(y157))),assign(lvar(y156),lval(lvar(y154)),assign(lvar(y158),lval(lvar(y154)),assign(lvar(y156),binop(or,lval(lvar(y156)),lval(lvar(y150))),assign(lvar(y158),binop(and,lval(lvar(y158)),lval(lvar(y150))),assign(lvar(y156),binop(sub,lval(lvar(y156)),lval(lvar(y158))),assign(lvar(y155),binop(and,lval(lvar(y155)),lval(lvar(y156))),assign(lvar(y156),lval(lvar(y154)),assign(lvar(y159),lval(lvar(y154)),assign(lvar(y156),binop(or,lval(lvar(y156)),lval(lvar(y155))),assign(lvar(y159),binop(and,lval(lvar(y159)),lval(lvar(y155))),assign(lvar(y156),binop(sub,lval(lvar(y156)),lval(lvar(y159))),assign(lvar(y156),binop(sr,lval(lvar(y156)),lit(31)),if(y156,label_.BB15,assign(lvar(y160),lval(field(x8,1)),assign(lvar(y161),lval(lvar(x9)),assign(lvar(y161),binop(sub,lval(lvar(y161)),lit(1)),assign(lvar(y162),lval(lvar(x9)),assign(lvar(y162),binop(mul,lval(lvar(y162)),lit(-1)),assign(lvar(y162),binop(add,lval(lvar(y162)),lit(-1)),assign(lvar(y161),binop(and,lval(lvar(y161)),lval(lvar(y162))),assign(lvar(y161),binop(sr,lval(lvar(y161)),lit(31)),if(y161,label_.BB13,assign(lvar(y163),lit(0),goto(label_.BB14)))))))))))))))))))))))))))))))))))))))),label_.BB11-assign(lvar(y148),call(RecPrintRange,[lval(lvar(x6)),lval(lvar(x7)),lval(lvar(y144)),lval(lvar(y147))]),assign(lvar(y149),lval(lvar(x7)),assign(lvar(y149),binop(add,lval(lvar(y149)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y150),lval(arr(y149,lit(0))),assign(lvar(y151),lval(field(x8,2)),assign(lvar(y152),lval(lvar(y151)),assign(lvar(y152),binop(add,lval(lvar(y152)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y153),lval(arr(y152,lit(0))),assign(lvar(y154),lval(lvar(y150)),assign(lvar(y154),binop(sub,lval(lvar(y154)),lval(lvar(y153))),assign(lvar(y155),lval(lvar(y150)),assign(lvar(y157),lval(lvar(y150)),assign(lvar(y155),binop(or,lval(lvar(y155)),lval(lvar(y153))),assign(lvar(y157),binop(and,lval(lvar(y157)),lval(lvar(y153))),assign(lvar(y155),binop(sub,lval(lvar(y155)),lval(lvar(y157))),assign(lvar(y156),lval(lvar(y154)),assign(lvar(y158),lval(lvar(y154)),assign(lvar(y156),binop(or,lval(lvar(y156)),lval(lvar(y150))),assign(lvar(y158),binop(and,lval(lvar(y158)),lval(lvar(y150))),assign(lvar(y156),binop(sub,lval(lvar(y156)),lval(lvar(y158))),assign(lvar(y155),binop(and,lval(lvar(y155)),lval(lvar(y156))),assign(lvar(y156),lval(lvar(y154)),assign(lvar(y159),lval(lvar(y154)),assign(lvar(y156),binop(or,lval(lvar(y156)),lval(lvar(y155))),assign(lvar(y159),binop(and,lval(lvar(y159)),lval(lvar(y155))),assign(lvar(y156),binop(sub,lval(lvar(y156)),lval(lvar(y159))),assign(lvar(y156),binop(sr,lval(lvar(y156)),lit(31)),if(y156,label_.BB15,assign(lvar(y160),lval(field(x8,1)),assign(lvar(y161),lval(lvar(x9)),assign(lvar(y161),binop(sub,lval(lvar(y161)),lit(1)),assign(lvar(y162),lval(lvar(x9)),assign(lvar(y162),binop(mul,lval(lvar(y162)),lit(-1)),assign(lvar(y162),binop(add,lval(lvar(y162)),lit(-1)),assign(lvar(y161),binop(and,lval(lvar(y161)),lval(lvar(y162))),assign(lvar(y161),binop(sr,lval(lvar(y161)),lit(31)),if(y161,label_.BB13,assign(lvar(y163),lit(0),goto(label_.BB14))))))))))))))))))))))))))))))))))))))),label_.BB12-assign(lvar(y149),lval(lvar(x7)),assign(lvar(y149),binop(add,lval(lvar(y149)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y150),lval(arr(y149,lit(0))),assign(lvar(y151),lval(field(x8,2)),assign(lvar(y152),lval(lvar(y151)),assign(lvar(y152),binop(add,lval(lvar(y152)),binop(mul,lval(lvar(x9)),lit(1))),assign(lvar(y153),lval(arr(y152,lit(0))),assign(lvar(y154),lval(lvar(y150)),assign(lvar(y154),binop(sub,lval(lvar(y154)),lval(lvar(y153))),assign(lvar(y155),lval(lvar(y150)),assign(lvar(y157),lval(lvar(y150)),assign(lvar(y155),binop(or,lval(lvar(y155)),lval(lvar(y153))),assign(lvar(y157),binop(and,lval(lvar(y157)),lval(lvar(y153))),assign(lvar(y155),binop(sub,lval(lvar(y155)),lval(lvar(y157))),assign(lvar(y156),lval(lvar(y154)),assign(lvar(y158),lval(lvar(y154)),assign(lvar(y156),binop(or,lval(lvar(y156)),lval(lvar(y150))),assign(lvar(y158),binop(and,lval(lvar(y158)),lval(lvar(y150))),assign(lvar(y156),binop(sub,lval(lvar(y156)),lval(lvar(y158))),assign(lvar(y155),binop(and,lval(lvar(y155)),lval(lvar(y156))),assign(lvar(y156),lval(lvar(y154)),assign(lvar(y159),lval(lvar(y154)),assign(lvar(y156),binop(or,lval(lvar(y156)),lval(lvar(y155))),assign(lvar(y159),binop(and,lval(lvar(y159)),lval(lvar(y155))),assign(lvar(y156),binop(sub,lval(lvar(y156)),lval(lvar(y159))),assign(lvar(y156),binop(sr,lval(lvar(y156)),lit(31)),if(y156,label_.BB15,assign(lvar(y160),lval(field(x8,1)),assign(lvar(y161),lval(lvar(x9)),assign(lvar(y161),binop(sub,lval(lvar(y161)),lit(1)),assign(lvar(y162),lval(lvar(x9)),assign(lvar(y162),binop(mul,lval(lvar(y162)),lit(-1)),assign(lvar(y162),binop(add,lval(lvar(y162)),lit(-1)),assign(lvar(y161),binop(and,lval(lvar(y161)),lval(lvar(y162))),assign(lvar(y161),binop(sr,lval(lvar(y161)),lit(31)),if(y161,label_.BB13,assign(lvar(y163),lit(0),goto(label_.BB14)))))))))))))))))))))))))))))))))))))),label_.BB13-assign(lvar(y163),lit(1),assign(lvar(y164),call(RecPrintRange,[lval(lvar(x6)),lval(lvar(x7)),lval(lvar(y160)),lval(lvar(y163))]),return)),label_.BB14-assign(lvar(y164),call(RecPrintRange,[lval(lvar(x6)),lval(lvar(x7)),lval(lvar(y160)),lval(lvar(y163))]),return),label_.BB15-return],1)
magic_phi(Insert,[x4,x5],[ptrT(arrT(long)),ptrT(structT(struct1))],[y80,y81,y82],[ptrT(structT(struct1)),ptrT(structT(struct1)),long],label_.BB000,[label_.BB000-assign(lvar(y82),lit(0),assign(lvar(y81),call(RecursiveInsert,[lval(lvar(x4)),lval(lvar(x5)),lval(lvar(y82))]),assign(lvar(y80),lval(lvar(y81)),return)))],1)
magic_phi(RecursiveInsert,[x1,x2,x3],[ptrT(arrT(long)),ptrT(structT(struct1)),long],[y41,y42,y43,y44,y45,y46,y47,y48,y49,y50,y51,y52,y53,y54,y55,y56,y57,y58,y59,y60,y61,y62,y63,y64,y65,y66,y67,y68,y69,y70,y71,y72,y73,y74,y75,y76,y77,y78,y79],[ptrT(structT(struct1)),ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(arrT(long)),ptrT(long),ptrT(arrT(byte)),long,ptrT(arrT(byte)),long,long,long,ptrT(structT(struct1)),ptrT(structT(struct1)),ptrT(long),long,ptrT(arrT(long)),long,ptrT(arrT(long)),long,ptrT(arrT(long)),ptrT(arrT(long)),long,long,long,long,ptrT(structT(struct1)),long,long,long,ptrT(structT(struct1)),ptrT(structT(struct1)),long,long,long,ptrT(structT(struct1))],label_.BB000,[label_.BB000-if(x2,label_.BB2,assign(lvar(x2),newStruct(struct1),if(x2,label_.BB0,assign(lvar(y42),call(kdtree.istr0,[]),assign(lvar(y43),call(prints,[lval(lvar(y42))]),assign(lvar(y44),call(kdtree.istr1,[]),assign(lvar(y45),call(prints,[lval(lvar(y44))]),assign(lvar(y47),lit(1),assign(lvar(y46),call(mincexit,[lval(lvar(y47))]),assign(lvar(y48),newArr(long,lit(2)),assign(field(x2,2),lval(lvar(y48)),assign(lvar(y49),lval(field(x2,2)),if(y49,label_.BB1,assign(lvar(y50),call(kdtree.istr2,[]),assign(lvar(y51),call(prints,[lval(lvar(y50))]),assign(lvar(y52),call(kdtree.istr3,[]),assign(lvar(y53),call(prints,[lval(lvar(y52))]),assign(lvar(y55),lit(1),assign(lvar(y54),call(mincexit,[lval(lvar(y55))]),assign(lvar(y56),lit(0),assign(field(x2,1),lval(lvar(y56)),assign(lvar(y57),lval(field(x2,1)),assign(field(x2,0),lval(lvar(y57)),assign(lvar(y58),lval(field(x2,2)),assign(lvar(y59),lval(arr(x1,lit(0))),assign(deref(y58),lval(lvar(y59)),assign(lvar(y60),lval(field(x2,2)),assign(lvar(y61),lval(arr(x1,lit(1))),assign(arr(y60,lit(1)),lval(lvar(y61)),goto(label_.BB8)))))))))))))))))))))))))))))),label_.BB0-assign(lvar(y48),newArr(long,lit(2)),assign(field(x2,2),lval(lvar(y48)),assign(lvar(y49),lval(field(x2,2)),if(y49,label_.BB1,assign(lvar(y50),call(kdtree.istr2,[]),assign(lvar(y51),call(prints,[lval(lvar(y50))]),assign(lvar(y52),call(kdtree.istr3,[]),assign(lvar(y53),call(prints,[lval(lvar(y52))]),assign(lvar(y55),lit(1),assign(lvar(y54),call(mincexit,[lval(lvar(y55))]),assign(lvar(y56),lit(0),assign(field(x2,1),lval(lvar(y56)),assign(lvar(y57),lval(field(x2,1)),assign(field(x2,0),lval(lvar(y57)),assign(lvar(y58),lval(field(x2,2)),assign(lvar(y59),lval(arr(x1,lit(0))),assign(deref(y58),lval(lvar(y59)),assign(lvar(y60),lval(field(x2,2)),assign(lvar(y61),lval(arr(x1,lit(1))),assign(arr(y60,lit(1)),lval(lvar(y61)),goto(label_.BB8))))))))))))))))))))),label_.BB1-assign(lvar(y56),lit(0),assign(field(x2,1),lval(lvar(y56)),assign(lvar(y57),lval(field(x2,1)),assign(field(x2,0),lval(lvar(y57)),assign(lvar(y58),lval(field(x2,2)),assign(lvar(y59),lval(arr(x1,lit(0))),assign(deref(y58),lval(lvar(y59)),assign(lvar(y60),lval(field(x2,2)),assign(lvar(y61),lval(arr(x1,lit(1))),assign(arr(y60,lit(1)),lval(lvar(y61)),goto(label_.BB8))))))))))),label_.BB2-assign(lvar(y62),lval(lvar(x1)),assign(lvar(y62),binop(add,lval(lvar(y62)),binop(mul,lval(lvar(x3)),lit(1))),assign(lvar(y63),lval(arr(y62,lit(0))),assign(lvar(y64),lval(field(x2,2)),assign(lvar(y65),lval(lvar(y64)),assign(lvar(y65),binop(add,lval(lvar(y65)),binop(mul,lval(lvar(x3)),lit(1))),assign(lvar(y66),lval(arr(y65,lit(0))),assign(lvar(y67),lval(lvar(y63)),assign(lvar(y67),binop(sub,lval(lvar(y67)),lval(lvar(y66))),assign(lvar(y67),binop(mul,lval(lvar(y67)),lit(-1)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(-1)),assign(lvar(y68),lval(lvar(y66)),assign(lvar(y69),lval(lvar(y66)),assign(lvar(y68),binop(or,lval(lvar(y68)),lval(lvar(y63))),assign(lvar(y69),binop(and,lval(lvar(y69)),lval(lvar(y63))),assign(lvar(y68),binop(sub,lval(lvar(y68)),lval(lvar(y69))),assign(lvar(y68),binop(or,lval(lvar(y68)),lval(lvar(y67))),assign(lvar(y67),lval(lvar(y63)),assign(lvar(y67),binop(mul,lval(lvar(y67)),lit(-1)),assign(lvar(y67),binop(add,lval(lvar(y67)),lit(-1)),assign(lvar(y67),binop(or,lval(lvar(y67)),lval(lvar(y66))),assign(lvar(y67),binop(and,lval(lvar(y67)),lval(lvar(y68))),assign(lvar(y67),binop(sr,lval(lvar(y67)),lit(31)),if(y67,label_.BB5,assign(lvar(y70),lval(field(x2,0)),assign(lvar(y71),lval(lvar(x3)),assign(lvar(y71),binop(sub,lval(lvar(y71)),lit(1)),assign(lvar(y72),lval(lvar(x3)),assign(lvar(y72),binop(mul,lval(lvar(y72)),lit(-1)),assign(lvar(y72),binop(add,lval(lvar(y72)),lit(-1)),assign(lvar(y71),binop(and,lval(lvar(y71)),lval(lvar(y72))),assign(lvar(y71),binop(sr,lval(lvar(y71)),lit(31)),if(y71,label_.BB3,assign(lvar(y73),lit(0),goto(label_.BB4))))))))))))))))))))))))))))))))))),label_.BB3-assign(lvar(y73),lit(1),assign(lvar(y74),call(RecursiveInsert,[lval(lvar(x1)),lval(lvar(y70)),lval(lvar(y73))]),assign(field(x2,0),lval(lvar(y74)),goto(label_.BB8)))),label_.BB4-assign(lvar(y74),call(RecursiveInsert,[lval(lvar(x1)),lval(lvar(y70)),lval(lvar(y73))]),assign(field(x2,0),lval(lvar(y74)),goto(label_.BB8))),label_.BB5-assign(lvar(y75),lval(field(x2,1)),assign(lvar(y76),lval(lvar(x3)),assign(lvar(y76),binop(sub,lval(lvar(y76)),lit(1)),assign(lvar(y77),lval(lvar(x3)),assign(lvar(y77),binop(mul,lval(lvar(y77)),lit(-1)),assign(lvar(y77),binop(add,lval(lvar(y77)),lit(-1)),assign(lvar(y76),binop(and,lval(lvar(y76)),lval(lvar(y77))),assign(lvar(y76),binop(sr,lval(lvar(y76)),lit(31)),if(y76,label_.BB6,assign(lvar(y78),lit(0),goto(label_.BB7))))))))))),label_.BB6-assign(lvar(y78),lit(1),assign(lvar(y79),call(RecursiveInsert,[lval(lvar(x1)),lval(lvar(y75)),lval(lvar(y78))]),assign(field(x2,1),lval(lvar(y79)),assign(lvar(y41),lval(lvar(x2)),return)))),label_.BB7-assign(lvar(y79),call(RecursiveInsert,[lval(lvar(x1)),lval(lvar(y75)),lval(lvar(y78))]),assign(field(x2,1),lval(lvar(y79)),assign(lvar(y41),lval(lvar(x2)),return))),label_.BB8-assign(lvar(y41),lval(lvar(x2)),return)],1)
magic_phi(kdtree.istr9,[],[],[y37,y38,y39,y40],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y38),lit(9),assign(lvar(y37),newArr(byte,binop(mul,lval(lvar(y38)),lit(1))),assign(lvar(y39),lval(lvar(y37)),assign(lvar(y40),lit(68),assign(arr(y39,lit(0)),lval(lvar(y40)),assign(lvar(y39),binop(add,lval(lvar(y39)),lit(1)),assign(lvar(y40),lit(111),assign(arr(y39,lit(0)),lval(lvar(y40)),assign(lvar(y39),binop(add,lval(lvar(y39)),lit(1)),assign(lvar(y40),lit(110),assign(arr(y39,lit(0)),lval(lvar(y40)),assign(lvar(y39),binop(add,lval(lvar(y39)),lit(1)),assign(lvar(y40),lit(101),assign(arr(y39,lit(0)),lval(lvar(y40)),assign(lvar(y39),binop(add,lval(lvar(y39)),lit(1)),assign(lvar(y40),lit(46),assign(arr(y39,lit(0)),lval(lvar(y40)),assign(lvar(y39),binop(add,lval(lvar(y39)),lit(1)),assign(lvar(y40),lit(46),assign(arr(y39,lit(0)),lval(lvar(y40)),assign(lvar(y39),binop(add,lval(lvar(y39)),lit(1)),assign(lvar(y40),lit(46),assign(arr(y39,lit(0)),lval(lvar(y40)),assign(lvar(y39),binop(add,lval(lvar(y39)),lit(1)),assign(lvar(y40),lit(10),assign(arr(y39,lit(0)),lval(lvar(y40)),assign(lvar(y39),binop(add,lval(lvar(y39)),lit(1)),assign(lvar(y40),lit(0),assign(arr(y39,lit(0)),lval(lvar(y40)),return)))))))))))))))))))))))))))))],1)
magic_phi(kdtree.istr8,[],[],[y33,y34,y35,y36],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y34),lit(21),assign(lvar(y33),newArr(byte,binop(mul,lval(lvar(y34)),lit(1))),assign(lvar(y35),lval(lvar(y33)),assign(lvar(y36),lit(73),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(110),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(115),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(101),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(114),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(116),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(105),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(111),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(110),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(115),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(32),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(99),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(111),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(109),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(112),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(108),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(101),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(116),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(101),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(10),assign(arr(y35,lit(0)),lval(lvar(y36)),assign(lvar(y35),binop(add,lval(lvar(y35)),lit(1)),assign(lvar(y36),lit(0),assign(arr(y35,lit(0)),lval(lvar(y36)),return)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(kdtree.istr7,[],[],[y29,y30,y31,y32],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y30),lit(18),assign(lvar(y29),newArr(byte,binop(mul,lval(lvar(y30)),lit(1))),assign(lvar(y31),lval(lvar(y29)),assign(lvar(y32),lit(83),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(116),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(97),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(114),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(116),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(105),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(110),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(103),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(32),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(112),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(114),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(111),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(103),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(114),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(97),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(109),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(10),assign(arr(y31,lit(0)),lval(lvar(y32)),assign(lvar(y31),binop(add,lval(lvar(y31)),lit(1)),assign(lvar(y32),lit(0),assign(arr(y31,lit(0)),lval(lvar(y32)),return))))))))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(kdtree.istr6,[],[],[y25,y26,y27,y28],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y26),lit(3),assign(lvar(y25),newArr(byte,binop(mul,lval(lvar(y26)),lit(1))),assign(lvar(y27),lval(lvar(y25)),assign(lvar(y28),lit(41),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(10),assign(arr(y27,lit(0)),lval(lvar(y28)),assign(lvar(y27),binop(add,lval(lvar(y27)),lit(1)),assign(lvar(y28),lit(0),assign(arr(y27,lit(0)),lval(lvar(y28)),return)))))))))))],1)
magic_phi(kdtree.istr5,[],[],[y21,y22,y23,y24],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y22),lit(2),assign(lvar(y21),newArr(byte,binop(mul,lval(lvar(y22)),lit(1))),assign(lvar(y23),lval(lvar(y21)),assign(lvar(y24),lit(44),assign(arr(y23,lit(0)),lval(lvar(y24)),assign(lvar(y23),binop(add,lval(lvar(y23)),lit(1)),assign(lvar(y24),lit(0),assign(arr(y23,lit(0)),lval(lvar(y24)),return))))))))],1)
magic_phi(kdtree.istr4,[],[],[y17,y18,y19,y20],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y18),lit(2),assign(lvar(y17),newArr(byte,binop(mul,lval(lvar(y18)),lit(1))),assign(lvar(y19),lval(lvar(y17)),assign(lvar(y20),lit(40),assign(arr(y19,lit(0)),lval(lvar(y20)),assign(lvar(y19),binop(add,lval(lvar(y19)),lit(1)),assign(lvar(y20),lit(0),assign(arr(y19,lit(0)),lval(lvar(y20)),return))))))))],1)
magic_phi(kdtree.istr3,[],[],[y13,y14,y15,y16],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y14),lit(2),assign(lvar(y13),newArr(byte,binop(mul,lval(lvar(y14)),lit(1))),assign(lvar(y15),lval(lvar(y13)),assign(lvar(y16),lit(10),assign(arr(y15,lit(0)),lval(lvar(y16)),assign(lvar(y15),binop(add,lval(lvar(y15)),lit(1)),assign(lvar(y16),lit(0),assign(arr(y15,lit(0)),lval(lvar(y16)),return))))))))],1)
magic_phi(kdtree.istr2,[],[],[y9,y10,y11,y12],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y10),lit(16),assign(lvar(y9),newArr(byte,binop(mul,lval(lvar(y10)),lit(1))),assign(lvar(y11),lval(lvar(y9)),assign(lvar(y12),lit(79),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(117),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(116),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(32),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(111),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(102),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(32),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(115),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(112),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(97),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(99),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(101),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(33),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(33),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(33),assign(arr(y11,lit(0)),lval(lvar(y12)),assign(lvar(y11),binop(add,lval(lvar(y11)),lit(1)),assign(lvar(y12),lit(0),assign(arr(y11,lit(0)),lval(lvar(y12)),return))))))))))))))))))))))))))))))))))))))))))))))))))],1)
magic_phi(kdtree.istr1,[],[],[y5,y6,y7,y8],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y6),lit(2),assign(lvar(y5),newArr(byte,binop(mul,lval(lvar(y6)),lit(1))),assign(lvar(y7),lval(lvar(y5)),assign(lvar(y8),lit(10),assign(arr(y7,lit(0)),lval(lvar(y8)),assign(lvar(y7),binop(add,lval(lvar(y7)),lit(1)),assign(lvar(y8),lit(0),assign(arr(y7,lit(0)),lval(lvar(y8)),return))))))))],1)
magic_phi(kdtree.istr0,[],[],[y1,y2,y3,y4],[ptrT(arrT(byte)),long,ptrT(arrT(byte)),byte],label_.BB000,[label_.BB000-assign(lvar(y2),lit(16),assign(lvar(y1),newArr(byte,binop(mul,lval(lvar(y2)),lit(1))),assign(lvar(y3),lval(lvar(y1)),assign(lvar(y4),lit(79),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(117),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(116),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(32),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(111),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(102),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(32),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(115),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(112),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(97),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(99),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(101),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(33),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(33),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(33),assign(arr(y3,lit(0)),lval(lvar(y4)),assign(lvar(y3),binop(add,lval(lvar(y3)),lit(1)),assign(lvar(y4),lit(0),assign(arr(y3,lit(0)),lval(lvar(y4)),return))))))))))))))))))))))))))))))))))))))))))))))))))],1)
