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 &&W 4 ]/]HOLCF:threads=6elapsed=12.572cpu=39.148gc=2.320factor=3.117zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA;-Ь[+Mf* gG {'O|pފ-4 Yyy{[4!! 9[; T̘WmIAo[Pbmn8qǔ}  GVvch@ZnvNZLݞxیfFBk_2ixvmp~nw0UBh[޸!Xz{?;rB<2(}g.,ts_\K'\=\{GyoF,xϫp5FQr 1iSK3X#׺`]P,ĸۦqs`B͆Χ4C;CPW&ZUv>+XK>"9N@݅?89 ,.[WZ%1xѦس|TXE~99H.qmq('}Ɩ1U{4~g u 6@l(GwOp%5CU͊Ӈɇ9S2]h( /ŧ2_*X}vym7wcwkp b1*heo@6h+\CTG# vhhlb6&Zx/*U)f >0H5L?UJeoai~`-z^.W^Lo-Tg*VL6; jQvhFv`RJZ[F%xew.O/bC| ղO vϨ !6m+Ά^އ,Z\7\;V5=E3iYVd1 * }Ne\I%<9&vy4͖&`#3|fWgYZ7zXZִF! >]ŗXi%>Kxʽ_ɔmڿ{PJbi M$}պ+ 5mWߡfڶ@As> T]:RņlHʈn9T8Eg$܅Aju{5sh}!|f0&B:\>jV$<`6=+'烂[YY2HW&Hk"FV:.kpInɱ\əXA_#-(XY%x[,۬v`< 0t#+;`{Xd )khMv3~?J}a=xdK0=laz3=J Jqm Ǹ2RGa1~ZLZgsϣzՈ @5z3Ank Gu~tIݚUQS[O"fnh5ֆ oB<_C+ Mypm1R*V&@/ZB}t%?- 11M..XAM QUK@4/#*4:/K]IE}+ӡʂeZp((GXC+|D>X!]O-A3#E,k1wI3/IāGMMѼiv0%@3@ L`Cz $17UBCO:i"Z hC sElzۿ~WHڒ=xB7LS^,dznNېKwG3$-Uv ^mCʸ40uϣdO+DqGfA(FOKϳm2Le/l0®T*:Xi]07`ܷvJ^ɖuOqfMz%m;4zlpW/ XU6 *:@nl'8̏b)&D?/gfC)CԳCiSs*ү'oJxm5E\Emc'+! t |Ղ13