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 ) |$ ]/ Pop_Refinement:threads=2elapsed=7.841cpu=14.908gc=0.648factor=1.907zXZִF! q{]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg9lA1ϭlNqY,._&9nvު?\M%:!!noMɯMpx Q%7.P8 ?~\xBGA\Wabpˉ{K`J\F>ޜ\*@G(YBNU`U@d#<*Ok$h]J9wq/ g#uOxO$䆫.T59\ouv?chXm9Ņn7+҅4l=L*!4TlgPYtB+]YZN8Nc { 89RgYZ7zXZִF! ]ŗXiɟˏa)l)%w,]4qjSvU:4n2.ݰ8&"1i_mhbgYZ7zXZִF! .J]ŗXi%9#qwI:2;1ɐ9τR6'JX!ҖxA_SHSvA"8d9UOn_š*-UN4jQȋgH%MKC>:ڃ9G'C0i7imJv:K \aQ͌3B}%|E:GhoV_3ҩ!H=|v: ι mҏ!P] tSMGuK2JOfWG_,; ^b͠Ozׯem]xZ*QœXOv&Sp-לzea@]6AiW>ܝ$jzIcld%hI)N$:*