[ 0.515991 ,
true
].
[ 0.899963 ,
true
].
[ 0.517029 ,
true
].
[ 0.28302 ,
all(x,all(y,~s(y)or~x=f(g(y)))or exists(z,exists(w,s(w)and z=g(w))and x=f(z)))
].
[ 6.5 ,
true
].
[ 0.632996 ,
all(vv1,all(vv2,~supplyold(vv1,vv2,handguns)or exists(uu203,supplyold(vv1,uu203,bullets))))and all(zz1,~supplyold(a,zz1,bullets)or zz1=b)and exists(uu204,supplyold(a,uu204,handguns))and(exists(uu205,~uu205=b and supplyold(a,uu205,handguns))or~handguns=c)and bullets=c
].
[ 0.75 ,
all(vv1,all(vv2,all(vv3,exists(ww1,exists(ww2,supplyold(vv1,ww2,ww1))and class(ww1,type2))or~supplyold(vv1,vv2,vv3)or~class(vv3,type1))))and class(c,type1)and all(zz1,all(zz2,~supplyold(a,zz1,zz2)or~class(zz2,type2)))and~class(c,type2)
].
[ 0.916016 ,
all(vv1,all(vv2,all(vv3,exists(ww1,exists(ww2,supply(vv1,ww2,ww1))and classold(ww1,type2))or~supply(vv1,vv2,vv3)or~classold(vv3,type1))))and~type2=b and exists(uu7,exists(uu8,all(zz1,all(zz2,~supply(uu7,zz1,zz2)or~classold(zz2,type2)))and supply(uu7,uu8,a)))and type1=b
].
[ 1.633 ,
all(zz1,all(zz2,all(zz3,~supplyold(zz1,zz3,item1)or zz2=zz3)or~supplyold(zz1,zz2,item1)))and(exists(ww1,exists(ww2,supplyold(a,ww2,item1)and~ww1=ww2)and supplyold(a,ww1,item1))or exists(uu207,~uu207=b and supplyold(a,uu207,item1)))and item1=c
].
[ 7.26593 ,
all(zz1,all(zz2,all(zz3,~subold(zz2,zz3)or subold(zz1,zz3))or~subold(zz1,zz2)))and(exists(ww1,subold(ww1,a)and~subold(ww1,b)and~ww1=a)or exists(uu219,exists(uu220,exists(uu221,~subold(uu219,uu221)and subold(uu220,uu221))and subold(uu219,uu220))and~uu219=a)or exists(uu222,~uu222=b and~subold(a,uu222)and subold(b,uu222))or exists(uu223,exists(uu224,exists(uu225,~uu225=b and~subold(uu223,uu225)and subold(uu224,uu225))and subold(uu223,uu224))))
].
[ 6.34998 ,
all(vv1,~class(vv1,type3)or all(uu227,~supplyold(a,uu227,vv1))or exists(uu244,exists(uu245,exists(uu246,supplyold(uu244,uu245,uu246)))and all(uu247,~supplyold(uu244,uu247,vv1))))and(exists(uu252,exists(uu253,exists(uu254,supplyold(uu252,uu253,uu254)))and all(uu255,~supplyold(uu252,uu255,c))and~uu252=a)or~class(c,type3))and exists(uu41,all(uu42,all(vv2,all(vv3,~supplyold(uu42,vv2,vv3)))or exists(uu256,supplyold(uu42,uu256,uu41)))and class(uu41,type3))
].
[ 1.3501 ,
all(vv1,exists(ww1,exists(ww2,exists(ww3,supply2(ww1,ww2,ww3,1)))and all(uu257,~supply2(ww1,uu257,vv1,2)))or~classold(vv1,type3)or vv1=a)and all(uu67,all(vv2,all(vv3,~supply2(uu67,vv2,vv3,1)or exists(uu258,supply2(uu67,uu258,a,2)))))and classold(a,type3)and type3=b
].
[ 32.7841 ,
(all(vv1,exists(ww1,exists(ww2,exists(ww3,supplyold(ww1,ww2,ww3)))and~ww1=a and all(uu261,~supplyold(ww1,uu261,vv1)))or exists(uu297,exists(uu298,exists(uu299,supplyold(uu297,uu298,uu299))and~uu298=b)and all(uu300,~supplyold(uu297,uu300,vv1)))or exists(uu301,exists(uu302,exists(uu303,supplyold(uu301,uu302,uu303)and~uu303=c))and all(uu304,~supplyold(uu301,uu304,vv1)))or~class(vv1,type3))or exists(uu305,exists(uu306,supplyold(a,uu305,uu306))and~uu305=b)or exists(uu308,exists(uu309,supplyold(a,uu308,uu309)and~uu309=c)))and all(uu341,exists(uu342,exists(uu343,exists(uu344,supplyold(uu342,uu343,uu344)))and~uu342=a and all(uu345,~supplyold(uu342,uu345,uu341)))or exists(uu346,exists(uu347,exists(uu348,supplyold(uu346,uu347,uu348))and~uu347=b)and all(uu349,~supplyold(uu346,uu349,uu341)))or exists(uu350,exists(uu351,exists(uu352,supplyold(uu350,uu351,uu352)and~uu352=c))and all(uu353,~supplyold(uu350,uu353,uu341)))or~class(uu341,type3)or all(uu354,~supplyold(a,uu354,uu341)or uu354=b))and all(uu355,exists(uu356,exists(uu357,exists(uu358,supplyold(uu356,uu357,uu358)))and~uu356=a and all(uu359,~supplyold(uu356,uu359,uu355)))or exists(uu360,exists(uu361,exists(uu362,supplyold(uu360,uu361,uu362))and~uu361=b)and all(uu363,~supplyold(uu360,uu363,uu355)))or exists(uu364,exists(uu365,exists(uu366,supplyold(uu364,uu365,uu366)and~uu366=c))and all(uu367,~supplyold(uu364,uu367,uu355)))or~class(uu355,type3)or uu355=c)and all(uu1,all(vv2,all(vv3,~supplyold(uu1,vv2,vv3)or exists(uu368,supplyold(uu1,uu368,c)))))and class(c,type3)
].
[ 0.0 ,
end_of_file
].
