SQLite format 3@ . BBh77otableisabelle_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  )\T ]/]Stone_Algebras:threads=2elapsed=63.832cpu=100.024gc=3.200factor=1.577zXZִF! ;}']ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTZRgn =OK&܌eA?`5Z5iQ>GARs'z^C0bB^LQ#B3٠96n18 v:@ENgRoi"SB |2nScJ KSKo 0EB|SU? Ϲ .6+&]ڐ\;Az7'&Qh[g󜌦Y5?@t5,Tu+Z ) 82ޝ:> 7*${N&yqD:ɓUy:o{=C ۭb&~` ]";(wy]rSޣ:B%ޏ ]ĝkbڸ 3iFXae{w C>Se1eG{jpnǴϴWu0hLQI0n>!`'%똬]DGNJd~,[cq(~I;/{O^1zb@Ԑ7 8RM>FYԔ/.(E V@]y:U'Ǥ? !R<1 uhEaJL,6H4zl48߃ʪ]*Y=m&DcX"}[A]n`:^(`N\غvbuM6kx:P}?GOQxu(b/%5ӵ7EJ2i'+Na+XǪ,ύ3RF˅R^HOFKѭb^|J-'" IZ: f|*2a,Dt Չs%~uk'9ǩXsIن[R5 3Vs-I NKͶbmr,JT&8#"Lr ) Stone_Algebras&"Qβ!">>dP2cs]$ըxPLzP|W4/0p;|FO' ϖoWDMXLfR[!iv2`@Dw'BpJs,1wF*+ v\(gYZ7zXZִF! D]ŗXiɟ34Zp}% IؾP "5R5X]l aN(uXf.7 _H{t Ǹv$vt׸ S' [-m!NUH?a餼 Pf7~͜yd>Yw}'W`q[ņY-{^I\@!K,;ُaB{ ,MC^"-Yq E.ZYU=mr]r8A^-4Y!h~6Wv(\8uW o @}e7qhA ^kόT>,.4no_q gǸ:`tm_|kbCA􈞅-ۊCFIƷos[ͻ6hshI+09{sha}j QWmξ}ߞx=Rw1eg>夶P zˣL^0ѝ w_'*ԙ+윀i]-²˟-WNwvAh?A/oU(IRwb)?CC;#zbe~McI:+{Uuw]E!lXǼ,h[$cxuhRUJUA^٪Aj?pXa"u{Гq펠3"s1&H9Գ61 yOv,@`+s{~s$놋hu.<%3iu>P@5֠!'nK-w;@.=܁A38궳Us$v7\:fe`j~; qo; 4j I~tėF'cʘCX" oXo1?kFWK6bπ? `#$vR a=XERAWbB ^Qxo|U?dͥJ9ɵ-mCq3!==l۪Y bzQ#6Q/pc׀s#1%=y7l tpzw4Aj>(Z?<8:| h#gJ`3QG|ςȻ[8 _""RZQLDZ.,NMڒ7 ` Vm Eƒ\*w=XXV) o* aAM Pyf$Ψ4'w:ؚz.:>Q$v60z>cQAה Q[ k6,=Ft1I=^N;/*/9\J~u\z-GӋLǼtRyo,(J'<5[tDRt/"X=KFxlֹh>.֘4^yfr $n24ҡ>#ġ4;Gg-DrCFT ^*4s~dA ^SpI$tLmLFh]X@mQe\z}&po$V?s[Wj_x?<=VXk%(S5XMQ$pkTX϶.ȐٵNUIBqѢG}OfpY@U ~$=שgI+P$͇As4T!^ӌ^Cɣ_ cBl0%3tY3\A0uO ",i~;zZtQkq25&1c, ß4n6zN NtKr!h?K?4,&{_y)+\,Y 4ms:\ j~w+1mvI2oOhe}%xHG̭7a⇩t6~<7Z7OƇ6ؙ/^5fz-"9J>L:T!ɿB֜ 4vxnNV< H:Z{fאp]CzI<;y(5Va+W ʥBYHa4\ nf-3{ { $'21/oə4K(Mݧ6Z͠qU }vrB1raiCP~* 9{\ĎzU=ix..]K^n"@tG tѫ)] #=ފ l?XWRFsb[Zm4y[D5f3hJfhO 5ZGY6Mڇ#Nƕʘ`[7jYwcq~jF)`Ge{PpfQ]@r*M Ҡa/LA @xțWK2|FuU.G ' y蔥w/tDTU30J>zFmkm=%eG8J>;aO6ovdoy亳yAa|"0q,n8Ηq\1ULmsRvK,e|_8|[;UOB6rS]3P#bHG^KȯtMd