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 $/ D ] POPLmark-deBruijn:threads=2elapsed=22.744cpu=41.924gc=2.588factor=1.847zXZִF! ?]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4LWa+`uz&30 |Ym_ڭqeQd™Lʌ-$<j\U56wDGkTA0Ӣo +}ؤOS*yDoGƏP}O-$fGd[e'bǏtQ:c~ `2 | Cc|ya(uͰ O7`s ^e)Gtq2yd,]TٻCheȷXL9.SF"X'#.X(OZW$pѪD,NG_`o7l{ H *[ >z=S'6K**pb\_KO:t`Bkm2-[-\S M;:+C\`6ZBJ[:3W.0g1ڌ|PyL>Z@+.<& ãNt4 6,W%tȗgYZ7zXZִF! ]ŗXiɟT{F moEhuFw%oj)Sտ=ej")Vۣ-WT\ě;O .@ҕܥs H+)6X3R*yx0rdhBxSfɊHgYZ7zXZִF! z]ŗXi%ή++6K )gPru߈˱(*hˆ#E9:1YMg\}ۗí 4QlA/'ׁnIi?UnǸYDyΧ ¬R[-![` ^]oaʸ ZkWUA,{m5F}o9墎`/2Pz$h;LCO1oNO Z{o>')7Y$_ԈZJ\K"i= ~h,p'X;7f*z<%XAoH޷^ydbZ,QnSlM6أ>(kd&KpbT9Ȫ8#nzZP;lj a < V#u)Q@|;Ը\THG/U _yh1iַQ±JB@/lv/-68ٵ ;Ők.q ʹXk$m%TOgCMi Pkzۇ΃kcX2"(ڢ}ʉ5xT,A1I|PQ̟e[_iRG(l [KblXV<۔c,WVXb#uQU[F{ F\x :\%!sfE 8A S6_=g|H g.nA]NH7uNbMhpXVزLȊQ'>M(p mTM۠|A&^ʉaK>P!o.ϰ .$(P/xtnqF">,W\TLU {cx)$!hD'\l~P 3ƚKZգQjy6ފ9XLdN W=m)ԝf寬iBt縸TeZhBF_ﮗԫK-2]~}b/ v:_ɇ<۽QzcůHiYƛӏ13ߢ-"L@kh}:Z 0.0/˲zp>I k" ҭxjm-ЍtSTuK?nL^ -ph@c!W']00t#pIͱr߼ZA(JoM^ćf<(x/ȯcv}]i R?LY\75h\/C!P ņC$Y,"{Z7)>dg?#