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 JJ3' TT % Tree-Automata:threads=2elapsed=34.225cpu=60.808gc=2.824factor=1.787zXZִF! c]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧMٴ$PK>ϗc j]ˈD)izx9019zU?C7T=Oڌ u oIfDJXd`-=ҩ9pZl u\XjRҩ$mH =ED9Fǫotc( Sd,)`LCNQx}tH2g;LI#v0J\prTm5'/խ>kik6˧l:}e'vJR̴qsLoho)ѯA:—fHn8zc'mn%)\֧&R 8Aczk"z4=^K/w _t!ɄYAFp̀cNy|繫> 1"T v̿)XƳ N J>ؒq"U QVP~Njqi6dY[-1zDGjp'BâP/8}MHFܹJ |򱼔~f$dhZ$nW;L . z^%V#R|aJͬ./J9͞ `d-U6q~?(5|.E4Dz("˸|4O&kgp>qE]t\+; ynv'fs4'Ë/}(q9^FIH!;f4T1* "b7WǦ7!ԕKQ"lna?fRuZoIdEii؇ L-^g=\mCH8LjJd%.Hseq?lY#s2bsM=IxnP^pg#0bv(dnEl~Z&aPVqZjN/Vi>J7[\Gb Z.'3js#9}$n>R88p\鮰Ɓ؏xDgg/ X 6q>"Ԕ]^af%6鍈\:0 ƒŔ\'iL׊M8Q 3UTnJ$vEe\MSdH|G_tGVn)3w%^+:k;K(g!(y԰}>zl5ˍg|m֣+pf}-6و4Q Z8/X YA `r"G`( <Ѩ^y~s:?+UC֪ML }(xZ~!+C3PaE3c-T2GҰj7 .]OĊi&a-OGhEFE㕯!Jq5v{|3+\ul\Vf)AqgnfY* i/{CY$gt E'F~/ nMʘ5"9[?l]5K=o’e˃Ee?*cX'9Z=-˯R'%RG6E[Bk-G d)|5;)drt"SЙ]td&!{PL܀%-K ?d' 꿜@|6_?@|5H0 t&W;p0W4\D'UNܬ X e%P,vE5)p஛so}`EZZ#D+ `ֻsC!$}_,S+<2PYIc