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 'Dl ] HOLCF-Prelude:threads=2elapsed=72.492cpu=111.992gc=4.248factor=1.547zXZִF! 1]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V]x) }(c#%݀۫C: 1&*5dHR0",UXnvP@yPZM,ׁ 3p?;,t-6^ַ@.da6}IEơtqǞ;@2ZI%titGx Io/\ewmŰZz.̩YD 4$J6faH-5bX'x7R]߻]E~\i}f]#p4I=ul&0x'J.. NaO^ - %gZ b≌8 ̽RY&y Yt'1w:7Υyw/H `ʏ[9Ōyo@@9z!jbpDݤRbTW8pm D?25rjuL2՘v YŸk"C7b?vڲלdfe&Yh!hP݁cD4.C _#^v-!Ⱦ3 L[n+|'gZFN%6;N*[4g"L%!P/%F䙨/ ^-M1' !+շ .Qx|Vcӗ o߅V)L̴ 5?Y~Og Ch5d0{xpb"LB~r1D92zUF -+rcx(;NT5*]*$W+H9•eVORHUzw&˧ͻ\I Ȓ4W,hNyjVIѹvFzgFE$X.dP&& $=->@TT{bRpyo~%[S pX{i_P̫a%Ͷ-*b(c ' HOLCF-Prelude  Nqp~;/6XbJcx(C$ ɫ%bI+v4|*lVh13K6[͹ovwDS~3L,_{XdrHU[9`kM+]xϹ%cCĦc/Wt\>/^A͈^D?XEFicLLDN(4rn(-|˦'3m7``Ndq>(MAwBuPoG8kVMt׳ޕCC*\.o3 Jfko,;HimN. watk?(MJET4,Fj~eURlqD!W1):]v5w#YOclhNkZ&WnZ-|&Q :o? FE| bZ$:da!5|.~[ csqf9#יCg{3'8t!}듽K{̴?;W3= E 갦'uJQO*Pżڜ4PWY>408>xl!3 Rf B5`5㶺'W; AP3Yz/1,.°0m~w"|`ϞfQK> (罎IF C㵌0f$͘۸>fhZGSkq|,jۨ^~ K Nvw9;!jiiržB4W -K,yy ߄6H`[Zx3|Tr)\"?^zA=+xMq5$d5OLǨYhh%Z8W끍 fo K@+5$ϘGCu;3'TOnt1O8´Ē7/ `|*֯3vV&[D͹C5 )`+ E.{izJ0erӽe}gOŗ/j$$lXs6ym,gNnohWi}c, ԛHY@p0WaBVr1_salV&g//B*cBuر[nT\dx8oSs 7;q}:w0U[m[ѵa3-ts%z;VbW ]{L,EBvg&wIjwD#\&O(VT1xU'j&MÛ'+JkҗQ<E忋So7 p?,/cNȌ|r?#e>"M5DLG;kJi*U? maQEysN¨n&O+$Ţx OV@C "&"Od-nTR`gIl^wvdΊҸ}hK:wEks99@iE2cQUV8*H+^sR=<Wnm%E..(.WNsHVd?=TLn5ks^Ic#@V6 ڒ+Z*()07m\`*|i/f\w0exCI L} 1z7Q+y6Q%jD> Ԫц1Iφz`}k"QBϵdĹP)mp sS]'L$.}ʧw4qk2NCۅ!vIG?[w1ը:\!ɺ$6|, 'z,󻧜JANLt,`Q}EfKDb»v.k_(W`sKLoΫeTxkekSA2j r:>Zr #P t^`ùaKClPHIcl:Ncc$TA񸘑"K* té|(N% o4zLCa