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 BB3tD ]]LEM:threads=4elapsed=43.236cpu=116.504gc=6.932factor=2.697zXZִF! Fo1]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jrVꙛuvȂ*}#>a&&vL8>=;.qɘwm2%D4АyJYƵUp̧E'ϟ.[6Gұ]:[L*ₐ>yzFA^fɳzA yu&maf9\Zj\9#wͧwBҡ8Q4o.=\:D?ՠ ꂽ2zYWP}i~W/`[e •a:{ !wO [,o5H̀rrif{ڍbH?^Ӕ:)UZ-^G~Ă|Ľ=AX9\H3zPL߫5ۜ& Ah e`ObM`Bl݋".m}.q%L\yrJCz N+tlP1>#Dž-<*>'Uyމl&=<ڻlW?u}עAIѦ⼊ }r_+y ?,#;)8Aw~>r)OL`6Z(e`GC$,R7k͎CA*`~W'{ +-="WY-Bp_ WO.켍g`/b-^4lmu?~)9 >嚶b/|Zɪ9Tpad9q'_fJmk#SSITGS亶NWM;`,vTABn粣IK*tȫ`_Hə =0:arM+,m Lwdom\>à@FY2}Aluܕ,??5&c!bCM)dLq0mEz̼ep5HW ?Mk ]k+˙jcN&{  LEM  =gó1ߒ^#N oi#DY3m,tAz?ǒ|E2+CjK_` q'眳J2I)LTJݯGЛ@7TӒ1tB,qbF.`=a˖%! _xH6bqBExJRS^4dgyTRf=] Rv Imkrɝ~)zC {:<3 &t1c7pkZPb:.CV!E#AnLY]PEiXD!l^  /~x=Xv!álrgYZ7zXZִF! \ D]ŗXi%B{ӻGA ]lK͞B)96ٕ'Ê>6X* c z.{ExR;8X4\QFQ7ƣ!Cf߉hyLلuNӇf~P7gw\徼r¤̤)U ZG9`^5p"x2Uٔ\ء9}QSlƈuK|zuF-col_ ~L6 :ߜܣ8ݑd9M.$gl !تXi6; IOЈrQPhLn  &[$b i&oƜVC1ǿZ0Ek1*IYRY\ŌdCG5he})NEҔuI^9J: Mu`aCp4%vC ^{s7Z霚c7q_0AߚO`arƙ5[ڹ"{OktIB9*\/sFj+"8 ]]H7Ə͡Zfѥ#`ۀ$ـ^i0yϥpbfNYHo hi`MG}`J 7q7JYoÜ(V58=^?" =jSՑ{x} >4l|?bA\<87pn.5ow>gNT {gw濑*ehqxb5>8I6(15*/\aR%"EWJyyC~ri6 cDXOCY>b.6G ۹O>IS&q?=6QR/DI A7R&A wtF ZslW"pW7e`.$̜0q3KL~ ql!| Meß`'zrD&`S]z mH=,37  $m-d܈Se௲x^6$ak֠:e`3;Af9d)]v~|4C$_lhB8 ?euf)?~'ҳtiQ %Dml}YI$Uyp{mյДL|8/"J0K+ZNʟ6i ؇lFŲFS 6<~0:bS)S@NwU%u87w棰Qu WryX> |"[d dm O-m{a|R.:UxVuRUZ-7L.t(sUQ5 3AU_3%g7%ĤCnH"^,%;͞Q\:WW$GUī s;P4Ǣ! OHލ@cm=4nw|@d :?UK_y7irYJ@ޅUIsL#gµ=~gb6W,@&k KMh ME m6A 1BS\8lt& ZxadGykcUꝡYبxK PnƑoSŮ1 ۬0J57=d-WtTZ{M4׺˞ oɫɵ'υrVk5X|;ٛG>$g\OGR s:=X>8GeQ)H%AED^F|o5Z. .uUNx1\Ӭr:M6tԾNPw&eU1Ҏ:gE `wHGt4#Y,?|y>/˰/ m RU?C[K\Y?~a| ^oY]rWfr*4?ha@c>l'eMRN>oa)4ݰD3#tr*t_^$ ha=_ʳsTl*@A1+]Yx~ma=$_G'ՅYNkvVj+ Bu%)yn9S-Lltf'S Z^?Υ6*(8[᧚= 5*Q1] &k{WfM rC./ٮ:bA:4}mڀ]=G!Q!BV} xE3)T'{(xY$g Ʌ("AKk/QkF")&(+wlvPQa]#N?ұ;z>C&:d-c_?!wOsQL\ye<3Ҷ-V