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 ]/ FOL-ex:threads=2elapsed=5.800cpu=8.128gc=0.220factor=1.407zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L$C ] k]&JmMc0HcU' ¸ Ȳ!/ 8Ga9߷f}\pZ=kcfeRz0K̑XOP)[{t)_&ߏgYZ7zXZִF! /]ŗXiɟ1 UtjL+S ^,^{lVZaJ`t^Eq|YXڋإ?8`DzdL06"0 0Yhvj$J,6`f*N;n+'VN/YǤ(G]犢#k}Q}Fخi^R7FR}`;#):QLh@*^׆I79WpfdJS>t.^҂~Ak#/=Ր }Jmo.CIic oݎ"cZH9r h 6gYZ7zXZִF! .]ŗXi%;s\VCaK$uw.S/ Jv짎 y qE(cNBȴz>PkBSgM`ĞS.<[ݍ7Dѷ sjHq୻u0xd0&0y*v<3%=a_}"UBRRT౳зA.J ?7+VSz$S*oF!R%"ȚĤ6M^{imƓ$uod12Cl¨HLPqtxB.d.+ Bn K2 5L8ﳭP2ȜBhjW Tyx]z]wmgYZaa28bff6cc63172b11305d2899d5252ad9947fcc5854d6758689c83aab18dd02aba520db4dc6bf79 b59d867fcf398822fbada22875c275e5c8974511   FOL-ex