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 ] IOA:threads=6elapsed=7.664cpu=30.608gc=1.168factor=3.997zXZִF! 56]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K [UDeFu]GO626`D`obTKy s}L"Myg.jyHsQ%$c=㷳(>TI\ &Uƪv-ۦ&_,˓"9E{az~lcʳC@>W-Ìn!(1|zR,듌i>t85Gye;V /^ 8KS.c42^\ @x?ZR4zZ@ө0$^$ kXnʪW~Liba }.e}˘~9ؙM=S?cTٔ3Bd;)neASѸ%W(!3y'<- 8Ñ߽EǐOsMPIKsB2yK{,o !x}z!J\~Cm[2@Q(*'@CnP&r{#)^fl## wigYZ7zXZִF! `y]ŗXiɟdN'LvH۹$f]ͤ4R$);:n灲zx&v|A㽉 WrK+e8ѐ,-ܫyr$h~!8б͆ڡ6u*f ȡtxz!v/TqR;: _` ϚU0F}rdΦ7դF2C{K)&UQUis.s 47=sS p}vd{+ד' 9o/Qg ~YCs/+O6= K$׏%\ lk&h7[qKiͰO v gYZ7zXZִF! %]ŗXi%;3aNq/~Tqߺ }ok>oұsrSdZ!fcamfԆLk"E^>*!WCa@Q]O@#e+6~&%AY; TcȨ3NxB.