SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  % ,t| ]% Stern_Brocot:threads=4elapsed=47.240cpu=73.876gc=3.828factor=1.567zXZִF! $]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 xo2kHX ! rrh]R?n5$˗ 9=.o?ԺnYUXNwD7,d@TFJ dQ|Rsc*[췎Wsm¡Y qr$,(oͱ&H`>9 Ƶvq?ݢdi]*h~ Wu7[!hf!F9_L:gi 2_:$K$Q|޸/.2-gf6|;VsrM"ڋr\?U};@zM}gszq)B}B+Ld@6~iL24q/~tay3Uc$]?Zuf (~ϦWybQO&͐U|2S-ૢؒ 61TEL'_gYZ7zXZִF! ]ŗXiɟ1˦rG1)IuT|zIhAl % Stern_Brocot  08mvAbs&u=jv$Ov̧G0-S$ܡ)Wquim:%N3^R/aBPexӠLIg~Z#Y*Cw%%}(gYZ7zXZִF! 8]ŗXi%GgP;ؠ0t%Qګf s֟2Vzruwh$Eվ v&eꒌjSkZ7em52gFk|>}/akoLa]j aOB( 8W!iTר*(9 ?@?VjF5Nĭ+ .*2BQ=cy>bC}0:]e |s|Z @tvsS>v狒޻(if"lC.01ɺ^1"}!ePl$țVNk[(mEM"͋B[P 9]R qZm(&p΄)E>2l!ĬzI]'=v1teseLЅ/ q V?SZ3T؊A/t6mxTi)h+봹 $ BTFv,0^zَNI_"#C)Bͼ&ek{A+ۂ'̖"F !1U$&!]dXNEGa3*z.[[*vsZC>hVvtۈ($|toy@iǂvYl2|o;ɰe D36ؽPx_mp'x6^Yt*W*$: Kx`[׈!.|ck8_MS~$;$pqv, 1s0^Q&r_q d6?< ?5WQXf3.oxyaqt <ۑ`ZBbPD7cC;'pV=m/ [A$!X]LjW,1o$]kim$ka` xGv n_RRL?y-vPl< =.Q*cCw@^d&iK SH֢QkW'j^ n;[9 t%&b |mB^ƔK=s+̪o8s ϲ{(=CdQq.^?_HuVK\~\||W| Hm&z75r.x»O{5¾^OZDi+Y8B1@;ss]87s?uu hGΨpn@m19 ׮y }BL)UpĹ=E:{meRM_Ԁ? =jCQޞ=6>8w4i0g㈷ %gMD\rY[ givMP}U#{;19e:Tb$ZZ5ssII\+i'N2nKb1P0T0եL5A[ T"fBY[,][%hLXlx]hM̦F |l αWأ*˸04h,r?J09ȟhk;>{x'ӟ7WĆ(zme 0XL`O{W9+nUa4bc'r y!ҺwwdTx?bc9 $nt%v-Fdrz. gy; b> 6C,@" 8;q+3 ̾=Zb;!QRoLY_,FS}\0__G 9ɗ,inRޱ16NHn6u/i$ ~q>3=5ruŊκ<`fbxJ"E'4^2wyPs xzQ1=kה`4?Wӷ+ӜV[o>_R@i.}Iy|OJJ²mBdQgsxE]2a7 HWُ DՈ>=`+#vÐ" 7m|XA>/ck*A$տp`^#"@̕d_Yۃ=}y{^9D66OԓF.Jw%#d,6 tDcQAAm'_8 wtf"! VA<6LKZsPEs$4@ I[w~VU喪bRfDsF>w"zBJ9-xɤ\`6I+^cӱ'-`gm>b}BHaZľ^{%b4 5#ә b0}h#k 6t!$kـ:7w u]V$%