SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 66?3 DL w]Applicative_Lifting:threads=2elapsed=30.048cpu=53.592gc=2.892factor=1.787zXZִF!  ]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зv:ĥͧ+4d׆!:u2K.ۡPϋ1ceS#c~Z襰&=K3n-/?ڢuAwrla ܟ$v!T ǐ}v 8*ůX PNu,$k.ew\~teorQFkԕC-]f٘-#]C&5N⑶r*oa8i0r3+S'z-9ޛS38‘r&+dTDHVLQj%ƦSC+)eo/J#e*{)#A hئN 1ĩn YID~4 qz~`L>{iΥl7V$Beʩ sL|Tb|: P2ǴI$Q|(r4ciig#Cf)lZCaUkMb7} xS\;>G {zSY달Lg|F.7佞Jʾf&%Gы`&rm+.5ސ^;X{З") $׌,bqZK ʃA- b*ٙtr.;R-Y] \~w~ 䆠 g=Fd!QYV1p8tŞt\1V{ |lflڝ4_"Oeز4eouV=D_hux J .$a)睴p.] bSrT}}/UTb[ingϑ\KфO+o !o +3m̯E!/ .wѻR'BoHt 쥑{d7$nUں%f:j5 s-/HG[471?i_)onyVuS?3ԜQЍȟ a1(: JWx99)Fӟʋ[jrF?^g~"Tm ݭ n4~ 4"w3T&ۃ| ,l4#\SnkW S J9'BCxżK30Byw`3e\ Ыia?<^DS7Ʊ{v|QsP~nɌ.3mf7Fn҂3=]i~PqqK![F8<.r(4˜rTpZGU4K2KP3 C qLb;74_sxS=Ƚh ;[ĔԨ<{ 5mh_L5qϕm\-#-ӚsdJU*AݤxMدflԘǷ쁋Vr}ؿPjbzYe5)-rC#f}AUi~zy9D = BB?(Z R qUxkWIۊo0# :m]p)=e\} v-Y B("D-@*X_ش(6~ JǫQ44Ѻص{`nE'RKX-c'[_Cc˵ҿ abE@%0g!NH#&oD3?`Q^0@azn0%)c6^![+* 9%UYlt>h'&_k$٨$SU(ݰ"ӇMu7nK]3Jop;m`Y6B~'L.dRWq&^.$B$iVp) 6QtS. urm$ F /q0[~+PmWYR5CxkIPF}!7Y  3 Applicative_Liftingy jW\mg$T!xE[` z Tm ȺkzM<8UߛuxY ݌k4 Z yEb_B5H̍l˓GA1 %;=BRmă"$I~FPLE:{p+!o8<r x&x[9h:-vF[b=#][ ^VߗɝɊQPCLӃ` VaSUI6"I7 dkgk沱gYZ7zXZִF! l]]ŗXi%sQTS䘉+R7qD hjv?pڴWg#OE0T"91mL>;^SR#}i*c(٫Ikܸ5#*3?XC#\k*pN'xsNZH|4DrHZwMo WZ,`F+BÏ[x˯1}'f(sf`:qjW]VV3  Vޡ59~g蔏o휯*YJ\MHAF@u{M)" jlgT_pb$X~F̅[m-gl6 ^"+}k>YSlUEuCW,EsPՃ/VehrCir\ tߩ "AC(@%A+aZMw Bsv3I`/ U} a ;yATlgQOPAX Y $gtg&ˠg`|i=9YSt'05<@z8{Ǽ/pr2qq2@Qa?IYL`CuGfSB5p 0g fta3 qN)vwyd'/ mvu.ipI : 6rf'@>z$ҋ7ȌE%A@vGS/J|DFkY/!yíY3i3kiWl2CgQ((j?d'/H˹Shag 5d-'FDO(λ;K,*хnZ W@t^Xpϛ Dt̡l>p cទ qAh.Za;ӦuE ˹r<vUhǭ/M+DoTgH}v#wЅzpcD!S8.LRW^ޖnvUK)zk 0xXUk#d) :?V3p-l)ķ,q-)s}~u\vhsP J`tB%%&b|L:om#'<^ o{YN[hYNJE)+T&x9&G=9tv:9A",]À(#4"yK 0 mk铢ˌ-@,cZ>d:e1j2(i4VܚZD`o243A>hK?91'Z{Y >q\{!uY n9{6Ajj2%V<}'Kߍu54Q:x)ҍ j>4|PO$J{VY0p |ІVeI桐ʠحGf>ـbRLSs_CܴT2\jÀG:ܽ714Z92itٗDpdOn0'HV(~Nre5W?1˨_…y9ps}I%3;L CG^b&hc8Seon+N$%s> G5xlcЏE'