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 r r vr,4T ]/]ZF-Induct:threads=4elapsed=4.457cpu=11.960gc=0.2967zXZ ִF ! 㠫H] ŗXiɟH)0%o
fbs.{*s>_c&cGcع$=v2];^o#|`^l
':o]!8w*sW+INq=n/rS=)Mx(&_imd6BL@6\م
u=fcnz_ytZuϺy/+<*8OȎ7ZrGFds回GАE]N,<捛2Leʃy2#X?];rn9ũgEuB\~ F$t% iHp
-y5VckaBdE
yE(bPQ;7j]p\2B2>]1PTU[
qMYT-XHwe,3o]*\ `Mױ@QrQKURǕ]
AO+
ޏ+L?JnKgҰk!V@NM@K!<$ܜ¥tܖ3ȯ9}}LHY\'(n>Z2D"h*:N慠G=.$E}'o5`gAGJޭʥq|f&r4ds G_6a̎ +MjJoeB`7YqzF 꺊1U֫Xe 0nF{sjғ:`f@c;@pCN%;chtFfe
|lvd;8T9YvZƐAu["C=762j$S*1giSf%CfIUB~p%?4_wXnĬ{_Fvw3Ȳ#ƜӍܭ.
h+_<}b>%QoY;
=ۋi[qU߀RxC
stjGI g9Wy۫))sn3]@ OcW(=ZϙX[ިxm!Ґ* [wOGp@`9JhF< 2+;.5
W+{Ey@{,ElcuؙxpJj9fY*L6t0$e=OvgD84?
j0"yDTVA7\fy
yBqYZh/ĵ!(w@y#/}Kj|VYfV``d
l?e201q8'⺆.]kGjkl,Io?2b% p>=h M)AךVKH QI5R91+'$ҷ.UM'SDӘZ%f<8V#s8FQVlpd.0N+S