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 O l$ ]/ PropResPI:threads=2elapsed=15.632cpu=25.544gc=0.856factor=1.637zXZִF! C?]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&PzcP^ג68>>AM`zx䈏&[+D5"K:0 @8rD]=xg:1s|fLA gYZ7zXZִF! [ ]ŗXi%93, Pulm"׼ZlV0ATO˕n b㘻jMA/j< %[0`ߵF mB> }긍NW G-NQ4s* 5=?Hۖ~ݰ+ꦾ6SG=3(hX(Xޕ? XLxU9n"aXc?s˝ ƴ.7$dǚ^~gNc bK=B@d׬A~CJN.X13_d1,:kH0+>A>:؈s2 /H0Ĥ-7թ勤[yOL6ae+l/J> 'k,6h0EԿ](p6̾nG-z3N(= ULZLԦjI(./Re86sMA۳-4]8PA|:*s}йr&v̨[2㋫grGfUjH"phk'i;@]i wI_XZhau-PIP{qvl\ULbٰ1uzv߲={h9W[y58.4 M:onj2 #\*.\&LjC1$ uM6p`bٞ8-2MhB5l ?r'3uLDZ${>,A: >v9FZ_<ׁWգr6޹cdԃE&gq "gYZ39a8f6cd4d242e4d370abbcb79679ae1a01460aaa86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852   PropResPI