SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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+ dT ]w Randomised_BSTs:threads=4elapsed=8.398cpu=28.132gc=0.588factor=3.357zXZִF! \]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R@B06quϰ7l.bh}5Ž w*/٬`ȃGFr1Xy X\;;s>w޾Z_lTbkuo&8V5q{cSK1jy.z3D #%"3+1R[~ ʇtXz%_ FZjK B|C!}oB0Utj!ٚ}rGDslA4`)'+P6Sц|84kTRnzu_>…Nq^T')HOEK`0Sݐ y':z-.N6>V|gm |CL䊃p|b_lL׋ ڍfDsW&X͕*9.a]pA*8oMw'Ia~jYk2Un wIaG9&z\gYZ7zXZִF! l]ŗXiɟ.<<ݴ[ֱ<鑶0oNN1ᗶǹ-&.Ajt;!,ƯV B,"?T|; xmpp(ν`cTmfZ(ڨgYZ7zXZִF! <&!]ŗXi%B4-c)Ɛ{^}] ٴ?]0"yVV;z-P1|r$jr!pγy0"!4EoEx.^DEo d.0mn ~E?Ƶ~6қU|++Lv8cw&ŞKA1+o܍2)+izBH /A.LCwdvvfWw՛߄zmKހͶ%F$zTPJ@q(Ķۮ vVRl_KjݍXyɖ!e@:P(0RG{gָUq'qI%.;ί>ker5Aguٱ*@W @p EZfMfƙ!IsC,),iȋ>E#D+>_ b(cRX6L`B\*B6K L%fΛy{!ُgpml_v-oNֱrB]P=P_Gpp/C׋ ;aL$ǢX]*r7ed^#߷\ vt=@op g QevM_y`GLbݓѭ\~=١'ޙ{R%34FGZP <P|$d񸩧>4E6yoϫH=^2+h' }y˕w/s#P5H֛j p+r e&S)sL,64NFb#i_V[R.szkYJgDZT3" `tjtgy3[誖و[#zĖ_KC5Tq˖NVΎ)M-^Aa2P݅/2+yRU)\TXOx