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 @@=% lt ]% Stern_Brocot:threads=2elapsed=39.313cpu=59.996gc=3.816factor=1.537zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMjiuQ*;U;z xY^v2N0U߯ox哖wD2"]=Z.nr5E0/$D.|-]f 9P}r.qc~͹G}'+|u@$.zݨvy)rϛ;X rHh-COא!;Bu ;Ո8%glA`ǑaSoլ`g{5zz0 Is$')I:7(Z8DgV蚬n1(4 &Hoh(H.=,6)KAEK)v1:߿#pı N7 J@c:ng}l9q2wK6(<}NFf_?}UX#4\A#dذY B hz_9Stl gYZ7zXZִF! ]ŗXiɟ1˦rG1)Iul;0_}EFn} g`"gs^*I߂:u7tct%G8G">̴#PVr!0u6qefybN[.k~\ݱ_E b^%DH΃SF gYZ7zXZִF! ]ŗXi%W~ī@:53/ށ1 T6pβF>Jdr~REr@CYDg9׶⎨~ t[8^Cmx~Z?@WŠ@ܰ1t[y&7^B q"t+U}NP9!d6P_nadBhȱz VvWS ^?L$grVL0?5ހ%Kd^MHtoF_ pvN3v?=r5 U3j ߣajң^wjfȐUPbcXΠ*3BT[ip ("q6 n0 Xδym7MSo.A$,}'N>d`6*-\ޖseC\\ npRI͝tXY<ݙk`Ka mWVi1)WWX^ J1~b7dܞK+-%FD_![!S%_{CfO:|(߀aݗe| ᦵ^=M%|(D1BHY~9l*B's3xT+ZP|`QvsƮ/k ~.j*dәnɸq^XRBp6t !ESgzծ?#8;e0CwƪSBxFW3#rkEn3)&cx6{ G}7v[fj#t d~bn蘞ߝ]~Zix,8Va";g6ipw7ZLt-pL! [2ׄJeEw {/w/'! ?X J ~=gJ[V?WEl/LDGՁSU6k\Ya쎰!8Aiµt[_rmz m 'XBRbθl\&K9Iy(@ZFP;t܂2yh-O\,K* XxhXE^oV`I&}oNKgiJZ3-|H3. ӻ#Q&U1yvի\$I9أP A28ѡt ɼ ß w5i/=OSzbY)1R@;8zxaRc$UJݝT J0؂B=%V-q{YFr}M,D0ӏ"5-%(q!2iG3Xw7zjF7יru1aM)6zEl^R䵃=G*52v8'Q dN~H>Kv*tN:*yBo)elQI^\_!yJ݆H;{᭽֒kcϺ5?-[񒠋FX|Cq%dt292ImL۽qiWlRr++*Vo6ᏅBiü9.Pj .uB7j)X(4 Ų޻!"h`)Y&%란EB^;:xo~p-zafMMT_O EnQ {duWD 3TOaw2IWҔZ306pUhX'l:Χ $)Y\mk{r&FsW"K/ Q8&X),S,c9GJ~Jï"fs)qJ6m nBO.:AφU~h7Lb8b?Q]yk3߂^2iq}\r(6xmD9쾎wcg=4ל?\hHY[S7e;֦*aċ"z `-![3~ˍ[#e;ofX͏ٞwElU|*O>{#@*̖k^X]r % VP cJ󜬀HI_?st-\XF|Ag'U-钛] ژ