SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c1 t m]HereditarilyFinite:threads=2elapsed=15.231cpu=27.288gc=0.792factor=1.797zXZִF! 1 HereditarilyFinite o;]ŗXf1-/6vRZ)/V~l_vdᷟGK?尺 [-=CU;"n*?IeHjf_ŕ1 rNi W29rCyeFIS~9!iΘx5:lCͨ؊]yy8%s&^ڮ%gdaHJeX*$sXaN5,2rmch1g4-l ȸFd9gMmllpM|~2ɉ]gۣDf~ B򮢰~'܊!M=D>d5w$YTΗeY4"=Q,PS86F=z%ZCnfV$/Zs&(>'pc0_@fOG[,{9譱m߇*H\G>(,5xXׇ nf/5f4G$hOM$Ց #}zgC`=<c ^@%+$"){b?ds{$AuN4Bygq}Y#0 4 R 4]A@CHNAJO]-k&dҰɶ`a SW 8"t d%<ϙF|eJ#ɋm<)s;?t] !_5\(d1IUᗷ%45GV(=z=,2 *,]^phrl!A0UyM*{N!(Fa V^oAڪi; 8`ӑhQ}j05,]}Zx9>!aKӫ=SN،짤Kтlp-YJ O1$-4 W\2Y^9o~XQcǫU]XH2EGwDA1'"X;s))[^C#\R Zi~8(nbV*D."'_r=wxՇ^,։@|גݩE+7їg[@d#1] ǟA*jƈhEvV1̀Hv>XѣzLzӜY݇sJ^"&F(]Nǿ:PM#~HD܇:G;;ǰS MuX 2lba(.+}+E$.2bta:%Gv5@Qboi&KsmwZbgYZ7zXZִF! V2]ŗXi%O'X-XlDQ6bW*"2ǖ6`ZMKˑT$E[VVynֽ۱ztb`,jn\[,piʘ3{E(5;mM6q#+hRzOlcM~LNz6fy'xj}:✆lu3a;ؾϝHipL .xJnp]r[b Tt1\í_fڑ,8ak=Ӂ. ęwUl*afI;֙cQAT|u+EW{%|+HUW-ī^33Vݩ߹o@h^CD?q'EM1#=0S3*T&EXg$+K [Ç$"; SQ)w:D B]fJ>|PucvByͻzwn9ꘪrڌݎ[^Wwi{閮[`14r\كN/MՃf-gli_[i|7H0u{zo TjY<ᆁG 4 Ʈ^KC(`@ 1$VmyOl!dNl9Hc}%%d*$^hPVF7]Zܟ3ңDGJUx"þ&j/HCZ̺3[Ƥ p&l<ʞZ=Y~!:=Rp)PW burHQ\fm&ۇR o~Rq_N\Sr}tu_jmA2eI@Lva$~>?5JddƳz 5e$Jthh?^],[fW$ InzM;1QNު )YwqᴸD]@wE>IF=oݙc&At9+lhJl' -fr4" [fd!i(ڿk!hz$g3[ wA탬wJ|DabqbXH(E H LwLJBYHnvM|4C*3'1} Xi?0&)<3f\s+nGs rn)gYZ12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 45f7fff17fbdbc853dc5f25944b0992e0363c5bc 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 c23aabb00636d95c777ddd7eb7518b377c4c9fcf df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce805980f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59cd059dfdcc8c0e3c2ce906bbd9f3832c06e0165e5