SQLite format 3 @ .;
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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
8d ]]]HOL:threads=6elapsed=205.410cpu=703.460gc=50.244factor=3.427zXZ ִF ! )] ŗXf1-%˓S,z!ŧo]uA{D"D5^]3 TsOs&8♀NH Puq%P{GAϽ,$Kˊ/Ǧg xl"g LTDbU)k&Jj;qpzQ?13rD pE5Q\:{,8sg7퐹Vd(S`[U~3U"Ά;z!QzXWk.H$>%)/va~61s9灶Z1_ym&< J w|=Q -s;6SC6bb_Ҙ2`V赯ftۘǣ~8u\,\aP;mL![
f01%>Nڽ%7oU .ayz r+1K[&b!Q:yjvb|?sN.Q&鼪5 ,`ӫ MWNqqK}&
z nlj*fA W֬NF%su;(~Y+EI' 7zGcNט0
{ؔoUc[hq5neI'!|hbfৎ*l,riV#P<}(֧lfY٬ Q0Mr5ˏexU-i9)qX,^{WV5͝
::#dqWq!-NXB==S=<v[9]6@Zv(\GjI\BMd
7bұ>FI/lQ3`Ԥx51B}^kMPi %Kj:RܭJJpWDNJ-Vy7UeIJ<ԋ %~0P;bzDB#|+ˎ\92T47W$b xjN
h7AEZY4 Ψ$ꐎ^}Om&=[ñU&.V}wl6̒e[<xv"AsQi'u):2u
7#mfk ej2BaTw-QWAE`Qd0Sio0hHΡpNc/ZהGA}hkY`/8-Wl(eE
pbH+I'
BLAYF/,ТsBD>5E;|b'4? 摃qn]8Ld;\F *#չH9MdqQgFGKu~Q lMx8Y%<"ԎQ zLgIvtDX4Q&