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   s ,\ ]/]HOLCF:threads=2elapsed=19.140cpu=37.500gc=2.480factor=1.967zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_Jr pf&ubWG3^jaHj@*V.=͑+ժxlrC6`2<_X^-{66lhaECp7#U'J"%f|:q@ dT^h M5=dQI|Ǎ~<7UR: 0I`2ktRg̹? D2'Pçʌ 8Xdd.QCsZ>2gbRǐM[ѕ r.ͤgCsgYZ7zXZִF! s(]ŗXi%;@ɎWɮ ^] ~~пrO@*k$'Uۂ_%e,+UI և/_׸bqؑ4ol)':M65HpWR>^J'%.^nesޗcGGgp-Ո&#aD@x^ +ֽB<*?]m%Djt%n~N16`f\l:rC<)ǼoNH{to۠sX=X>gمt -N&5oʹLUR53Y:CI uBAm[}^zcI_^4*ָŁE´mmuS G5߀.72FS^Yn&LںV"!5M53vҖ<9#1D ;9r%H61X2EPB9g>5[Kȸj(x<' Qd<$QtP6\ Ҷ-[\pCrlCePg-o{O ~v'^I+V0 28SV$9ҹbB#a.k|# R B^1@+aI/aBY֨Ze݊_ʊE@SLMhlo~CC͌J^ox<`Dp内WͧZZ Icd6bW:5W6}> ꐩٖ/8sevxZs:@cN"k/n,;&cЬzО6$MMo'JA֔U3?`Jo3FV<4G\Goe828j bX`|F޻h-)EM_/Mr\3V=#68ߠtDg%ix)hC8iYDP%*_ohf ?B(R r,a>9`|(mԫ݈1(^UUQTKV%\{2|"hQM}z4{7Wū=Q/jD~ wŜV55P\`45q hڱM۩hZxG` LKUkV?qαa8tdCzHK P3L6N$L<#?F[rasCB_Iק|"֫Ƚt ȧ9~CToKNHk cǿC6P\o9κ(N݄O2t92?5(rܤ(3 p:pAxN}bIrlvvqb%jsnYG?ƇD ˃pgYZ24da6aa735584af7db6eb11248d0ca07c2a75542a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39512cd03ac7bf341bdb34573bf9c7a4895277fd3a  HOLCF