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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info E# ,D ]/ CISC-Kernel:threads=4elapsed=13.017cpu=44.116gc=1.760factor=3.397zXZִF! o]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVd|VNX4Aͤˎo8^ˑ6__|)}bcTMp#rwP!"EC[V.F?4Lx"R!s;$,_O481+RT;z.O${ڭ;Ⳬz)z/8k"$e^ -T ,5HH[GS;nYdbiNk8~8J-0LQA/>"R6`%BEL'k~)N|dNj2SCe[js)`VUDe ,uDDC6+T׍hX0%PJR!0y&TwPnl;9-' YC+Hilu)LdC]kkrt}ܙ+ 7t3Z=*W2; Es6"c]n+;!Nf2Дx:ȈSP>hy]ԸV֯ TIDXG@D{̴b%I# +%hγĈ‚fc ?%}R"O@Beٺj SO:G=z‘B aV)]F)_wwߌݚH1~jUo%0D@v^U1Wz\Y7 6E3`>+X[FU*׸otW737CݮZfZeUc<+=8ugYZ7zXZִF! P]ŗXiɟLN.!}" nPBڨ&wjn .S A#V1ENGAU鉚. *eKNdDU ̒4áPL Ύx8Lf,2O],Fz)F"=#pœ1=#b\7R:+ tDKi,L W!tCBUbSFǶDήiuWJjsE.rTFa@%9,Ȅ|,X!aseT X_??øO7@>8d[fݏ Li=Nqqr"v!4m¬h wgYZ7zXZִF! j*]ŗXi%I oĦCw :vw#),I\V؟u~h ' p*^y]ZsC8 PѧH yd'pLIr*aoz JSm+Cw/aq{ ~9@H?ݮ)[`[%]!R6`6αuf.. SRh@5Y<ˏs#r@D-&^XMS qt۪23V@W5-{f =`3Mj#q~*rʢA#,wQg^ Pk DۉQ&XD[y3VֆIr.S ]Wf vrDN@wU>.&gƭn{" ؀Il#?rYecN__ŞYZvu@(dS F:{yI-wnMr30gӗϙjq/eq, x ]ޘESE#P;4 ث8Bz6{2ȿ]vH?v!(TC9;Ǫ$cMj9=3yKIC%P]")EvyXt6 %!&:QۮfX|z74/z]R=#u z2a5?ql!5?g+LU@1-~0bIi&cQdKlS8i RI?,DBwl5"JTN~37c X  R`j|Qe[3?c,':euOC3dVs.jזYXz0KT?:v%wuggzFߒVN28ܗ f qu `_L#C.(RpQ6PuNƫOAjG7xq,I L7ܑf6SN)WI[[ vl~ s0YW%Y=cǶE.11ʎdPg yx\"]b4vC5 Y)u/W >Sk%Wkw ʯpAJ\'vi_A?h8-)P/5` "*հȊt4VSbn\fKeSG=g^{x ќn!!أ!u` J6WKf\L ܸT3΄$v`9C^ mqQC׈.qMg:Wq+G뀟lx1d B,͕𦗏gh"@.1 okwgYZad04c9e570f8cd1a4c3a6627746be19540eef1765a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 # CISC-Kernel