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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
$TT ]]]ZF:threads=2elapsed=29.881cpu=48.228gc=5.976factor=1.617zXZ ִF !
)I] ŗXf1-) enȈA XR+Gw}=@*JK3^_r"\#&iX~= B{i{-[k M8Rk=V7L;a:} ly!쒆C[m!-~%H?~Xvq#g-?X;ީB,t[gAuműX(Ίڭ{/&
h}B,mS 0-^O5_3Al5u[sV}ַ[tcwmj"*k5MPZ"d[KYրYc8p1`6K2[RDy~391yf'}jѧW +Di- ';Cg YZ7zXZ ִF ! #] ŗXiɟ
1FE`uUeC08m-9(a?fUymI\ZC%sUczm/
+9B?*pwSY(2M$U@0tanSc?̳<CS^wڹP3O˸{Kv-Z)[xRkCF@
lM7¦GYA={U$
7=YN:3*>0%fZ
"Q ui.,ߝlG'!}T,&.ae=s2z!N> lk5o5$
B?bw1zc#F;C.c-)qwfO[{Wpq[λ>!]lrJZz:XM
HFϪx?=i. f}RDvy8]Uf'SQ_ڶ.nO=gu'##IBt0Ny;C#TBog |Nz [gg YZ7zXZ ִF ! ! !] ŗXi%>gaYF[yz+fӶ>"j:|ov<%aƯMI^7uvP+_*TΣ;,K)ihԒ!'3g(DDN>e!5nw;Hǘā\C8ũ
GE[(hT$l*y$DP µ+0v`.\q6z5͔ײ6mmsTIFr=GօF2zW\b=t6@dCLࢀ'h:O)~)g$/b]MʖZQmt3
%Z(Ma2#xp/!ODk[ c>legkuUbNi>y6_idoyZ8F7ԧA35:siN[lVK,[hG2تuXʚMl蕖/[|tЕŇ$ceXtD:ո@g6q@=zt?UqJa#Zokg!Z$6M~ŻG xSBr1؟ez?\#XtuFYodTJj~.A?Z'S3HzDZ:)yQϛxMьp˟Q$o٩&gMvB-';[*ԥA~d`U#Kwc^Zn1W'O&Q;9S0Kɔkuz9Qlw^|
JoV۳cyd\DvC`6
@Y>p{+5&iji4T.7y#`2[YWJw*hxՃ'ȫt%[1o;/ >)RӐ.Gv1fQ-qiGT\eΏ&^ͫL5M6 (8'O1t+HݓǸp0MTgr㍘[(8vpODc6flfAͣuRn4I^/,~W6WwCUE,ĶgEmEyռ}nN5V.GT7bpb)4Vj$O1ތMb_Lhăe˖Qdblןy6%K5Uexh$Gba85e<6]F}T/-S{g
"k8 J69P'9n"n¾_wޙR*h\wJ%kc2;{*ᱪdQW"D)sCKRtZ0ݼ5v'bWrt2;Ul o9-?6#J_:,t=im$==<::
9E~?YiFu@G/ykI^C6Vvq@0+@ =ÛcR8(IMbXh $
r?yW xll
=v;+ 2M
KhTgC_G@9q;B< y'H+:-qs-?sSp^K [)qtn!c ,Wb_NȽ
R@8$eVLd3""ڈCхf?Ʀ\OĦU)Үڨ9$ W3mTo)ɜIJ2]z5>w1o"S^8Uz~v 4-M gzLx
ӏmjhxl9_ٶ;OPұH9fcn*2]7p}h9˂"ajE!ӰZL-Clq/[wBw,D 7_hgQ3Aw]r,⌺vl{k+ CPH#gW,ؠ3KGG*C>ʦP$Mqd&UqyL;zNbzbAЋ/^wgՎQθiz"T65LC!gD\-LLMie@9o S ` \
g YZa76549763ca69f9c65d14c0d2a8e0b589af02ff119126f922e3aa9c20f5a31237f68a37a6d2cdfb19537ef226ff0acac6599218dab9b4d7b8176a2f3
ZF