SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 j# T ] Shivers-CFA:threads=2elapsed=28.234cpu=54.952gc=2.644factor=1.957zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k#2o.ڂfQDcIA|CVwX(#jizT'NNs넙Z9fi~B&D>H`r澒Oam=EFʵFW OX<85sa` FuglAL{;P@o^2ﷵ)O-0[Adq -c>+=gOqoYHGF *zœ.Kw["܄%:ay&0]S|sz>ҁ1%KkLl$!2(gHm gPPKBD [||ETu4Nl %%b נ Sl,+ъPV,2נ e8] c<֎!Cp.M2ku[~$PO<2p,[mh14XklCg˩ha ku@Y6=62~p9!)80TX$WtԪGM-ruh[Hn;a9`#*7?ÔI0TT)#L3+ u C3&=MZn;H̑ _Et'@Xl]¿%nx})YRMM)+ӻ gYZ7zXZִF! NE]ŗXiɟ1˦rnzx <@0+gMLS~9=c79N#8%ܓY\wo{y`jvqdT#U7Zc'ڨnGCƁl!P+H[D:k P sr fah[KGa{Fp)Rq}? FqLHP0Tq kB*Oޛm~mWA2C.F>@y4t|]X-D0 <Rq"?{O/F~'k-X%HVe WNq9z/sp<.+݈s^_XU'#,\4Ε A_=:pyxwd'aDZMJ2&\MRQ~|!I''AuKZ~C<"bm2_bc` ņ6ET\$K9;SJbVC8YDY@-XF[}a؍Ȏ0R%3Pv>$juY:[m:2< 7`Op %@?DVm߅(z׈ JH3NNhZL-DجKEAgxÚtDXJ`-±6χ+-[MPܜSo1K@#kPMĠK%()O=Gܞ zIk'B_:8 (Ł` h/(Kwo4#i^ #P+FQ־LCh14˝Oڣj ox-/7mw+|k/2@aȿ%`PESP4͒&_g<.4iQiH$ zSɓ^gIцUq)'t[zhKt (@@tf p8XV<˜!q^hXfl.NBh? M5T S(,S.ʘH5saAJJ)%Nv厭d@>1۷'+v)" l?&/qZd|9=6;rb;zp/wlsc1Hu&ڽ Gnt@ Q W}82OEPG ߮0 p"Bk6\>H, qIĪ2;.Y@$9yTH) B 6͖f bl 9H Ex<_{*0v`9h+ Ev@ w^kh7>c~1tIh>"\ Ebs -lJi 3[)e2LB$LK{hùu y0k]7Q̼v%cdV*gnj Z1/ eR0v}^bZz3& ~Z]JmjDD]LvuALY[l~iKDK%7( {dTτv~xr@*brM qR+lhyzŲt@(,NZA;гA[Al"u.K )D5-A-i^zM?;+f`wafcuٶbdLT7C#W]#gYZ33a15f2211b69df64d5d5e2e0c54db3a16bb902dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e df5497a98f9fe86a949bd3ad8771742cec10cc41 # Shivers-CFA