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  k- LDd ] Tarskis_Geometry:threads=2elapsed=56.099cpu=98.144gc=3.676factor=1.757zXZִF! %z ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z |cVT2ZeZd;}[+\g t *mj/t{%L$M(dN)kEtGŠS=J9Y;*!},Û\%Ktqz$1gԡ.]t1jvvh_u+7du94^jgmۺ5fL0/e+ȹPR;A0fLz4c7}FO;Rx4h0m-fӷr1O6ۆzë9AR#yv mT$ScVpY3tCeȽ)3vIe7鷅S0EpH(ⶉ9ݫ.f2 - Tarskis_Geometry]!ApaKg Рq8|^Ο:+T -^a&Z5DJGgYZ7zXZִF! IZ]ŗXiɟMr^&%HiI6$ wĄ%n$OVgEaU rODFU^݊Hק\-T͞ b./ { vϟYfH@iW*F9? >8š0ֿ[Eˊkfޠ?AAwN_?|uߠZz钱uձ>jc'vm`4>jՁܩlv1vj)51[(k 6dF`߱2)֥cC*M Ϳ^'1쵘G:&?߇/pS] !f5k5Z0L޳пé5kӘ/bz{ i6U]ɅaZtD mB$@}O p,g>)Y~VmsSܾOy֮Ljǀ=ZĊgLn'Qёj997 _>rz˽<=jDL* tnA|d ~+P#ʇJBV(iѐPjT"07霯Oa*J09ct u7w\>#j_>Qc|񘄿 kQ~ڔw{0C["/Cz'3i4wG2ѡ r(lχS\9Qt. 6p Hft7.p/Rx>Ld;qn(QEi.R[\Z{T#-Gd#hwzlgqKMhK[=:z9`9OY%EGA\a? YÀ;wv'%QWfVNp)=R*:;paf([S.\ifwհ@nU{H۳6%-J-?^& E>Kךa`@ե)J6b T4a:B"RxA=b>«|΂%Qp!nxbtVಃ(G.k >vΕ ?12Jם-JFu;%Wlbʡ\~o2Lk` HoSHei;u~BF!Hw-˼qBI;^VܤXKEuy^O7~ =H5VC=O?j_> H/ƫE+!2g&C V 4A/d CY. A(#>ש;HB8Ιi"se+XRrnK/)-ضOiG!]8ִBtk6e̝ǯGB]aMT75敋 um$kM&x~'WiZHw1ɡ 1q i%nRC%#ře OG;3v)û%k;sE1ѩUhL-1@IƧp-t8 s~]uǹcl5sե!#xF'o|8ӫၡaG z Xux/Nf9#q||(ս!IMJ~:\%>8H2;N)e*ZuOFh7Xk0q-=y`Ng:=x#FtoJ]IPd?s}x#m~O !ufgmh/GЪ@ǻH]uAzaqM@c\x98^dEQs 2$B J( dʆ LTM$A9z4`yRٱRTJw'mv6f"}ac '.r6Adt H]ɾ]Rv)bGo~[<Cb (~[#fzj9 !ާbZ4,Ukm"<7g2oٳM Iˀ =T:sv4]l#sOzҞq f7 R֑VBܺx\",R0ITtV/3a}:fCH#GDc_{iyz؁kH2!;nrcͣKfkV2ƿT&]%0{8$XK{q*-!ȺWyV ccKyo+H[}tagN}HJ SЫ=YC}?pǃA{/sfE%!SOc8Q,}Cl+ɾ9:=l Wx93r$DTD ^:5JehR$(ĖM8[PX<̷KUMv6lH9ݮJ\~džQbbԃ[60Vd4Zs~о۟-{0YVpƳ;%e9cA4(^bYG:0uMMt dV* ]V!>lU*];EI^(cUٮ HÖ!R-FkWCv;xۭBia;ցIcϡjUG.9 ZkGlPƾI祋9Gvz6 /z;nQ\["P ,o *zelp[[m:규{+ />ftd9_0͹׳\sLl'5~/JgG#+ z 0az/nNjX