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 [ \L ]/ SIFPL:threads=2elapsed=51.949cpu=84.192gc=3.816factor=1.627zXZִF! ']ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(GÖ֐ ^pDJ:s6O4*|iӋ[G{nυs8XN2sQ qrWT##ڭAyU:i ղS`5 xof]z<XMLPb#q8x$`!B]P9 Y Ǝci_2/5!щds6ɍH8Z8GJћS-JA[F`:UϭI[KS yD]*+5@cJy} #]B[㧱56Feoݻ:?;M0'/ zpD~Cm>M›+C% EyO``~BIr?W2%`+`K&x~gڲ?}RHxCHpS)#th<2Mr>>]./*t?uT.Z+'S6mIAm9Bp?O ѿt: T?~B;ki%:z+ A olAvOiИgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNEFq*4ɤW|sN(.P+Ʉ赌Ƃtڕ:L& |`#sǪ"v=?мJsrNj5pE+Cs L"VY2;!j ?%HYǩ&͘Nǭ%%o wUx0w[iRj7z僔gYZ7zXZִF! n ]ŗXi%9#qiD]y)0JPozƌ8_jEN b"ʤUJv돳wv#ɜ7 K^) k0uz:О]d9βsJ]0tॏ3lIr,01Ӱ-"~4YnnsnN5(Qs9CQxRq?H_>oNuOSܒx 7$ KzKO=yF}#P]0 G DD4L$iCe'rW|#>?#V nHT}X1~ZkֈkvHh5ӹ銸U;;$emolD'=&cȗ$XcWO]brɇ'bk5 Di]N%BT3'oj~ ׯ33is["? *ߑTB=ݛPhKAtRTdQ0{6׍ U[<=Dx F `Y|1,dB Iް`I8yz;EԹI! ˍF1԰JEI%'#H&?wO``塁UoS!դ G-l{atyP6H֕/9H>š>Soٸ9EIMoJ 4Gߕ3Bg-j<`湭L2 h82ul a#9o8~y Ή,4/RýZ\/zrg5R*J0b4a[O[%⯾&=. L/<)u3`Uzd̚}o:/")@;4aE!=og%K̗&3ȪX[S2"թx(%mĺam]˓;K0udD+[.'~OHmT2$V34(SFjVU xءZzfAxקibz"΂+ -} dseJ @k[ 3Dtv uLYB"ZfKE,?~ɭ7s0h _0e6^+Q{Y~k ׁKTT^Zyu{e_tTgr*Ƀ P!`ucE6XbpD\|#b"gEz t1FƱ(r`r,ZEuc5S