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 \\!% |l\ ]% Stern_Brocot:threads=2elapsed=39.304cpu=59.892gc=3.732factor=1.527zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMjiL}A ?Lx@2p/\QSeRfgAQl$oF['l-  ]Ӣ;^}6Qё7.jFl#q7˻12,-3ӟ6{Xg E䊤A{U v_ez9qA}%P"V5YX+[bHi7KS (ҿmF1?ҥ[e(@اQWWW.j[[\%?Ŵ]wmHϏ .) _ a>In.HR#%XO-\I 8} U=`iݺNou_#-3ϐhi96ДY1qp, ^ҾjMLHt\̈́bCYKT3vRh%gYZ7zXZִF! ]ŗXiɟ1˦rG1)IuzҎ:i@))hd4v/JyߪYV1 7X$Z`]",%ŞOs9К6&Pnݪ*@S؜ sM[e쏥o"ҪK\.xQaXNfxgYZ7zXZִF! e]ŗXi%9#qm$قZF@] z'4CJ[E7b85 qr[P@>`ɹ[gPOy4 6 IV!`5MyKoK3`i$K`nfu1#<mfd—&blj QڃJ6:gOmvw)[OW,֎L=Reo/ \HiʲF]A$t.Ll`hc;eFFSMX[1JZ?<緃$IS%A_1K૓p^UmI͕Π0' y-Me{h.0_cnpZ?zG&=}Glm0wWa|}T!3 fz l0.'fM`YNiF z$"X3f'"ME)I]WF4)#W65;(mTmKJ~eKM#hv^:2М;ѝ^W Ysз0fÀɝQq4YKq5txx_Oc,Fhgp7%1EIgfRV/]GB& f~^g?VQeiBτYhJ1 PdկP`]0v3e.DS!: ]O}3hcJW=^W<0s]), l?yxY`d+^@ p$aجkDb),ߤP}:i5[q(/Q[UZ*q@=%&Eg܆SRRi|0@Ȧ:AǤCqS@G+{"ҫjm}E]Pc2^:AGASh0?#7³"BQFcg"ȡx TE$>L@_+E-~cJB2yû3$'&bBu(".d{MlT_ FzAҾOҦܠ&۪r9 9FΌYSlf̿Y>EaG͵7f}e!8B\mٹ< c 1 SY_8*~xbFB$T.él$Lf : O<Z2%b;}C*PwOۏT cf b(E%t v_"d5Ä\* ex'~x\m2gܷdJ ~an_(o 0_AƣI!)[]oBOXAdX$)ǕG&%}\e~㜋ִ2b()ѴRMTj {. i 9kՀMh)"W)~ѩt(y6&߃s\]bU~şwY]>1uË}$m5džWKi#2/iOD?GU} DVցf<z1@-*P AwDEM' ;)ƴ s3{-}n-3E5?t,XaԩƟ"~`Vr:un>ӈ ][~>ls#U,y A