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 qq ' |T ]]List-Infinite:threads=4elapsed=15.040cpu=55.096gc=2.224factor=3.667zXZִF! h]ŗXf[&!9s`|kK4CQ.Ia YHP9TAt1"Wbb[g(4Ih,v:5W^`4Ŕ,˒-ptJ~GI6˝}/{Ʌ&vQ+`xJL ˷ z2 ~%°Fa[:+sWꡇ8 DHSuv[qkZvZHu_s Z#JY\2vha]6A!W)2ӧ7f96!XN]C\޻~ Y \`gmqwXAP +0gg  p=Do8FPlBUeĜYt:4 |"w Jnaҕ Ũ u_4Q佊 F$5[d׀|9\0 _۱gYZ7zXZִF! ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!b,1 }=Thiݳ}rxu&f]jήcWem7w[3X@2m'Fj!@.[QmO'·m d PNV><2F8X|sTuVTpCW\>jHon Qz<@!3bemp&i4h3D(˩*\@5X(JZ$c#z[>3z3,D*4UjcH?ɢE(&ʏ0~slk`NmWA &nSӍe/_^U TS ;a'Hr:yLk$}p?2vtS !@k̼P$G`X>jbeEv2\Y?%},}we{Y+"Kw%gj@!J(VSU N2=IQ}FCGZsc5l J=XKbԐBnaJc.Y jq OCAn5s|ԀGDZM LL1spS{ @:,䀾'4.;lKn앒b\g7'`Cqc$sPW|ͥO;p{5qЄDUQc2&O[E-ɭ >Ao3@,Z[AR~Sh"4Dʼn|𢘄[ ךK.ޝBEB4 pfNȭC\e jV.]ͤLkcJO_!_څFѽ?dEgqQQ 5VcŰ9lN]M `|rB4`NU)Em C8 BX+?gj0sjOF0ľ}kcDe1+͌KHcF;[  1(27: .ҽKuQֽF$NOD/:zA*^a)f\Wy$gV tʗY=kOOkaXS&䟁|/P|=UlմKV颔k6%)m=>8[u ],W/7P#aCjh,׈qgIJ}T}!UYZf C6j\,T^ jCuZVW̚xدcU»Ӵ4GBOr9Qo t9o˶}tZ j+7jb@>h&=BiԘA064"nҬw/ $NBXg2YI9-)mFt-F#s6sim3f_|ۍt HmO\c(=1X|{$jE`#x<d&>joc8>ݰՈTY{bVFCk@F#25U5H۷N9j ɿ&v8ȌQu7`=DL)I:%&=x{+l qSeG.O is*%>%xKzYf)OH ~V+, W_K4c.z%I \蚵sؤX5oqG9.WhKӦe?/OybeMx4?Q?Te%%UW!VK]J,eQT80o ĽӉ^/J-y( J8H$X)sǡaFRDUꂷA<73jt8K؎'