SQLite format 3 @ 6 .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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
, , %4$ ]/
JinjaThreads:threads=8elapsed=2384.953cpu=10902.395gc=3983.619factor=4.577zXZ ִF ! +G] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78
od &X\jV|u2`A$/*ن#؟0u|`9hE eL-
t&XCw8+}@^|e!AP@%I@6)䔨c^ [3bpWF+)t94W=c)<@8We$5hR/R7Qp4zm=`Q!wvoE1t
&AE
L9!`}(
NҘ
< ?JVyjr6Oj;Zq4Qc1)Ț~҃B:"9BkнD,% A9"hS_zoKK}cem1{3c 3υ/ѯ
#l\Ou:6ï];kj+y\]!#]c<(טϳpFz|`,ʏ;;`'Pcw^>ޞK=7j/sҞoEԴU4S۟$62JVwR1@ܮǢ|I|P
r+^uhn.MoRB
oKDmhUnm
2'/GF4}}f_cUNDzwxݕ\X)}&~[>e^%QvIAkPa+(0FOh69¡~'3H/B/13ݓк/9S(15B\>ү9y3>ΙeUd%YHK<>#ƤZ[&ml!9MQB
<kfgjq#=%s& ΔtXdN+'P%x{kvIYg#Ko$8j(.zd2JT+نˢQYuw2uNf#K'mK"7PT|DiU`oБ
Pe/X^=8gC=X#}R".H'0E)<@9#쉜SoL%8:\KueʵQtcS>VzmMfNC;az- hCoa>(ԕk(<&+X偽
ԢV*#Kŀ~DѲ]L)RPXs])i'HE)ev:8ÄTzHknN1b*ѣe?EXW+!x4G-2
2VҺ (p +I5M*
78N*鞄ϱw óSTI}b& |3pBWB5݂'wW~IߛGc.VdO['YdDbcDy˂Cyw/Ih2(dv0d_%2@Yk
v?e)
vQh>lge5yCP
xTdfnllϻ=MWqaѪ2Y+FqKj8Cɬ},m?9Nh=80&c(mx88EML`POd>\n(bU$9
GE .^.pG;.wEA>$ux\hiT6XoF3tA@4͜GQ7'13o]}_n*D*u`T3+}YȗW3/;.+ǵFn9룡r`~GÕto/E{q 4
i?xM5j,Գ"*홨`o:!
Oddrbem,uD xOo}%2Q;g,m9~ŧD@貁"S?pg?#wTYXvJUm'1tj}ۈn۱c/&畏4Ӂ%S/opG#2Įlyl4