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 1' d|T ]S UpDown_Scheme:threads=2elapsed=51.575cpu=97.068gc=6.456factor=1.887zXZִF! Ai]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sj"d/uvCs繅͵8p Ԫ&V.l>+z ?RN ٜAK #@ &VegX@0X%_طQh.;dq|Q^>oD1n4$Gci:69[AŽ Ck&*vU<>f|k-8֓{5ս" DqhTZGyۼV e#:iDfa`RbN4gb RPZ[w|Jf6lzùL2ODg,G]-Vf˟Aͽ^;^[nH 1?=A D F7,ʰ؊)Vws)zT=`'3|)Kr[c\Sbl*mMmH y!ۚn b{32+v#qr،;hIcosG9N]m`ð_i+6cKaRg?dOUg\7Q]}ceZ:|}`)f5=>w>.j)fhFuك>aڛ40o{cmyEҭR6xMU Z X5NfUuLfFeU/4܆|E̢LQ÷N "Ҽ5U " 6 vҺ叴&'.%93E(Z$3 Q2yCڃ |e^Z Xnء^a+MTWSAX7#ޡpvw ?e%%<[?R?EnYEz,MYwr,H=F:8~Wl\B| 5q8 !{5'e0- ϳw{yp *|۹ P+MጽRi"OG&j&|GT&sAm@?0Fc ||~[K3'AvF& FԶ|Ўfr3r BeC{ibaiT3)uLr-eXoENbXxbrokKG~{߁z ͂lQ|NU:Wgp^n,Qak:IF VHER5& Th@cG8q/~@%x>D,s!j+lIN( <},2JeO)0lϭ싧 FH|Ƞ vrq;ںmm2AVÙMn F.D5ԾIuє*$@!*0b'軈w1"竒*Wl(sJ=~@6Xb8:qh IN-gkEtQM5k]tד>%A[Z*#kAw0_m2[2ζBn0=L?}{Zd{ !^ ?-[bM̎\!ݦ1\e5(. 5. h," i$w9 Z1kgYZ7zXZִF! ]ŗXiɟ ' UpDown_Scheme1J2oeTʹ̰Koֈ JT+u.w{K\1gܑT/ !0)7|hB&5q63Ln1gH.d 4#/,*q)8AII"z}(igRډno*Ӱ^ "== `} Ŗ/#ax!>33$@ 9;zXmm0d+>Z@hcVy]^h]PjzyH$Pg/сɱFz$&TTH)3 z@uPk+rf5ߧ,ngZw;NʉeKzerC{,qs0QuZ`|K<Y*P-T!yt<;xTsD"T͡4CM~tg0t:w+`1DBjsqOk8s*g_4SsWafJjĹi(qV&G,B0۞<:43$$:j0rU5cf76wajygB&$FqR(ڶ>[taf;R24 S&N8EL!|m(ovj>=W ᴕٍ.QPɎY7"VdIT^kz9 fy4S]Nz"4t>$#?44M𦯍wJlM(zV@uVt#DUODqOT/[JָgACXaiPz!fi֯ǼOs}bZe7c8ss6ld]T! 2`&iTF+`"`z>w!G*;'8{oÞ'ϼ- K7c؋fxɈp :B[cqKyvwL d3up\.iSUS#e HT9 l_on]+:x;h l6w#f͈`)L$h4C;H˭zO*&S퓗qx+)#`E~7E_YB[, !} b@:(T/ִ.K(%R4;x[|T5Up>87G.smg,⅜/|0WհKif<TY-˫i"& ԋ"A9Cu=IlлhKEٹ:^mLTOV*1i@'VHI^dJ5]JS`n1a'E|m 3ϺEMXzE]tfvT繏M `~/…A1w蜻4 s)%,FXt-/3=81g,n\a!$2N Hf"fʀ׎18wIa TzOcDk݂68Ǵqi-h1ٵSyOH*% soGӜ¸h@%? ;{BovȊqPrV_it[=c eʀPJ~Qleȁ%~ ?Ņ'.Փ<ZSH #e?aş \ PPN:,ٔ6b-ţՉۨor1m>XDN~*^ѩ {lA;&wY]KH^Y,9|m(D8>P7U;Wnq!We2TXrG6ftMuANp%Ă5Y{`{13h u3l^-ٽ{ȷڻvW'"WJ!vLds#}[SpA(VRXPU7{.X&EE@lC$ifp;6VN >|S|;$+r!0'zur!;2 uy*(ȁh/A6D1K#` Tp~V;]pW|ҮWTi!y0a%!M&DXS 40v]h?ϤlB: SW >& k OGW<,6$)$Z:5N'FԲFasߊm@..,;