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 M $ ] IOA:threads=6elapsed=8.437cpu=33.576gc=1.360factor=3.987zXZִF! >F]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)9Hz32^Ddƒ?tXGЎ%C#~J4Q3LCNeޡZCra>DQ (P|ɳ^!}Ս',M^B}?$RWRg tnpwbn:>CUEr{k/B3w1f|CzSDW~]+|<.踶\Ne~6 ݕdHt)֥B*`:S86c\2YLY_($ER)WyJ2YqT5[2C W[d,{ĠH J& ϗA׃sH~I*W gEuPpIA<6MDO Qؙ˛b>t(z8k~冋Ah? NzPNm wэ$ R2*q`|%lV~pŶ8 4ߑU]%kQHdnXg\m1Ɯ]}0i"gYZ7zXZִF! `]ŗXiɟdN'LvH۹ʶyQƍ팒[z}xJiBH"g u$Bu W2\bGl]ԈF=Y|`'(ݍ?6b2#SЅδƎo۾Ȗ>ᾱY1 kC>}Hv;rp#o237ɑXH}<^8vЅvDvOlIp(A$ $]y(_tc}K C/~5M(ei3"Z*OA#*;0j v j' "~LX0[OҖ}2ֻq}1 il$rw7z{g^+sL"^AyQ@P c.ߴ ˄t -eL ;c/lV۽IZ > d3ePjUb6rh Cjxxמv,+_`;,_sJ`ch6$zM;6>/Y@9CM2遘2lc_է~5OFi axen̨FОwk'ZnޠXZqGOae=7jqZQ5*v9u?T6 epa[uZG2A-\2&υ!=)0Qd 6~蒃:~Eڦ5siSx"F,4)[(9~6xXq'\ps'@mYlߠfNQIkGZ&5- `"=*Ѧ!(a< 'ZTljPVm<ܬ~p>K ;b7& H0 a>#3gDWPIVIm閭DssJ]3W"A@A(KU0PS<>X/Li~~:#9:e6wRGR4ibfn~d{zeep7n{{dT:߆"ć׀47 cPP/r"0D J 1**5.-iPhd"vi3ۜP^-Hj6౵[0a`I?Kp0!Osd34n !Rw azМێ>.U2YHT}gYZ3040160ad71ef801faed6b11b80b278bb9bc32a38b0dcf9acd2129acf08a9af17112933d7b840fa4 526dc7c549bdebbc88872b36d0ab533286ebcc3a 86ae2e1a58aaf623dd441669d11ed3647d313d40  IOA