SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info FF#5< // HOL-Record_Benchmark:threads=6elapsed=106.193cpu=178.600gc=8.940factor=1.687zXZִF! {]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iNx&9[$s6Ԙu$6_XTsoH~R n$ؕR{=a 7~WdyedbP^¤S6 (42M@e\3SrBիHX~NK (DF~%#K]tC@MYu@In)>:gYZ7zXZִF! v]ŗXi%X1Q/{$#df'aRе %ξikhO+SW~sg:218CLl_U,V,sZ&@B#ڿ,U'5-k xW_  r)zX2\R?yQƋ@nLoPa<}4;4D*d):M1:Ovqy\[Xa7Ҧj漣OBiQ@)jY| e0ݳ^`KJᘅT 2mP$(˔nBQfb nf֨(G)qB¸3H\zZC  G)Mn?ЯuZJ'ȳ15ɇxx\PzPyF“(0 ^#kmonт9ie\ E zj6CB܍Hj?p 5 HOL-Record_BenchmarkOU^]O>c*fT*dR{։-J0? zjj3JC|+3V!=*~BܠLS]ϺGFzo^TlT@Hn+T"TI q6./w :8þ 0s'hv=VKg&H+'o6ܓhzöbk&\JBMڕ0n!N0pg~oj.7. Z٥P8?,\g?+ K~`p~qhLOV)꫋TMhXF㒮*5ꂑ+`rp|KJ(iNTrIh]ȜO ]We ¼TsBP% p/rXMʠRPɖVI \@XN U;ƟUMa7X#ާ Z0w3(y+Bt*|GQ,^@w9h`'} yWd ch>xzث HKDO"bKUV"-_z O]e!|o|z-Fi9"N|Gᳵ#|w?ZO SdFY>\wMn6-U<'%gS&sڟ\H챸ϒbl]6o46}mɬGƳ1O>wQoQMH 6[5F,tnR<3Z֑t֮0-Tg\C2/H1Q@"Ƌƽtɬ)F#SdCFVF5_pu ~l_j =7,e({Ә,8‡<~J ?0zR3_+Iq/ۺH J߻ Gdq&BMk= >'?)Q8zhLp9K~J$ H3eu8O-~ss7d,ګEYߒs4"?S;;Vl2Sҥ4 pް6j g~6%(r;+`D 5`s:@K"EUH,.|3U<ׂQ2ry惘N;CmpzT< KRk?Y7IU^Y´0d;0 tQ)OSASB5gd*#$au.E2]u24S1cLn8xHch%=/%O]fswApuMaU\#k4 kw!y \qwttiQOoFz wmxfndK E1GؒM$\Hu@J⿣ɹמA 1P3hJvBoT²ѕz??8ah E&.n-,i2齛9qtو^*2%R+X<gIJ9MfN  E. &p9ׯ1uBTRJÖP`OPS4 FȲ]V9DW^%e9ĻEy, tԚ%{r1hoӮeu͑rjg{{R㸴I!T=.OHibJw60>([eDj̱ }TxzH)x&R}sRpꡟu:ua7b`3ĊN]q&Ov*|?j$a*7"4Z9rs˾$k5f]j~ w iv$b DL =gj՘&0C7M]=M4pT}2T|iըfpHU68]TFe[ @mHBMUZǕN J@||=б^A;lq]5l#Q=,U& _ Ve6.X QiwCb{j J58_[YN,\Q4,׎S?0>6%-,_af;w0ِ މddo`t=mi?qBdC%匌E ȸxJGsP5 ==@-<hzUx:Ř)Y4)4w G|:]=4nj[5*U4 ؒ'J!zZPOuVw=m+p0P2Xͪ4, gL̘(0p`Ѷ6"=snb5lޟtu4͔#c,Q#Ŵy75S=gԳ? EKa5Uj#+[hA`CDH T F|a ƪ{1ݔuDz3 ̻`7y05YuZxȖ?}o#5k;Z I xdm?l֫K`2\d}$6:G3>t] ֯i\7ޥw{}3VjoeCsN[R, b|SʣﺵDpOľ#0 MK|Gf7o] 3%8& /hK6@Ņ?([`N"b1:sԣ'ԲFp "'Zy>TLCTz5:RD$O/7ji_[jgCG%Ěa}D},J1԰1$:.kIqB4ti.H ,uJJfڒpL2՝u; (ZJ@QVvgX ꖂՔ*qPYdIɒ-Io- C ^|]׼de +~K"?'$.e-5*SEnjgd#Ym6 }JC6"Jn5gYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f891f5305fb3fe14e7ef2e6985f51b5dad5849bc83 9286910ee9ea881ca140c8da2edc28a01ffef3b9