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 k \t ]/ PropResPI:threads=2elapsed=15.873cpu=25.028gc=0.856factor=1.587zXZִF! Hf]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&m.jMb~liFe3C⩩JȻNnSԈy>'Z&jC-#i0vn8Yw7}EqؐIUެMk|3z@zn}yX; ?wqF GA`-a4,I7kx;4dbVъyO=T DJsb,\i q`:a= [ivF0 fRx)iX\3᎟ecıgYZ7zXZִF! r]ŗXiɟ˕A|tYnUzݪ7PE |JT2L}VkC}arLK}#[R'9Q}A5s}4[{P~~a A2e[`p0 LfK쨉mW^D^@]f2ccTFfEcя-pkv?tT2;iʤ{)IՇ#')99vDiޙ*dъ*nycjR 5x4離RzP<3Y{)b6䅮>3Ov9畤aX!/=-,?l'i2?ɢEQ'Hqغ |:h 03deeCb֝ϣ5bM{5;q(+ Ԣ !ĮuG䉌W.&HӃ"i}бao-89Zqi9liA!#f}X3ugLt}v,P_=gkp{lnTf,(9$1ִul*cU+HCcVc i'EdePh*Ѥ[ɪILj,(AruK.CIq|c?NU6Lub>+SWDc CwK#(yK9oY~PwNw97!ǭO{ ~gYZa0210723f149793d3c12119be90fe78a98cf0418fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a   PropResPI