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 ] Bernoulli:threads=2elapsed=14.032cpu=19.620gc=0.488factor=1.407zXZִF! H]ŗXf1-/6vRZkBO&+p_% #*(!1qhV0"Υ_,aVQ&$;Ir܏ u'?]/V?bdqC|Thq:n\#a Q [XoA}g=>m"ȓEcj4767r rPTXݜ*ʿ{.QIJpS:?A} +uȋJv(|(%"/` e Z8 v=(hq Sжg =b@p egYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLgLA7p&AĮߏ^Ʋ8;Ri#7_ơ2N6ix/8@'$$7(ێ0`|qձfI/&pMf! NgYZ7zXZִF! O~]ŗXi%9(SN\UV҆Yl0|׸Q7 s.ch5'tʦ"lk)hz!j}\%-vA8ť0t:S:ET*H > MAAݔqZf.TEyhԼu+{k 1ي$D6nYJۊJt#e ߍrSAn?Mo@5&q pym7ԌI\]-y-7t*m:0[ C^yCM\go̻{y `9l[a fޟj68 X/a- g3c9*m)|ެ#h? Eaan`yQBa<+YhK[⃤jQVk7%*@mYK,Ogfd Pu/{i1XL(R%xsW+GPN/Ip'yE~^f4(Qm~} lUU =\dX'@ZV֐d6UBRr).H @iѦxSՐk8g~t}(XC&h#ٯmMc ^g}ZSn9&a&x} =r-X&qvtL#SҌ>foۆߒPV&ۃt3) 8g#]b\x;u_P?5&nfA2KJ(*j pXBDT>9Wo"vO7cfN18.265., 9mP^K&-lOjMAW'" ]z\:sRSēp?)(o7P5.KDd*]D$W^