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 aa) lTl ]/ HOL-Statespace:threads=2elapsed=14.871cpu=17.348gc=0.728factor=1.177zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rel+~-$oqsq *eB۪ `g%pj ?$M0ȑCw.k-!v?M27oء FGaqns7K]'9n_z^h8eZaFA {YWgYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-MzǠ'%#z,<[sl:0O PT;Pe/.,"d X5Vp?6VbY#&F6 I[Jö>.|;3YirgYZ7zXZִF! T^p]ŗXi%;c"8 *+G[Ts snZ:ɓO_g":)O94zHrg0 aJJ.(QXaa $UO~m]5 _̷eOjphkG2t IRE@vt| gLR۫زe+:ŁmM/`~Z20,yyWuJ7 D¤"œkm+YIۺinڃ[xyS'}U }-s-I?2L%JY< &oo \a wZ0DYz3t ơ%s‰?6ux \֛ JO]ٚPt!*#*zݢMTV7~ϼ>Q|[bf&:;LP7"6kvx:Z anlQeOUF#>/PN97elEa_;d!Ѭ 6jY!L"luTi 8LK=;x?G43 y _12A)xZ,rR$ řV:-N.,GHbV1sn7}pC{cҭy= $6E@mᅻlyE<ɝ9^'E/yvQ_xtRX%f}XlEUXK1(]®JB rtdR4^2Hèr<*Xp[h bi(8#]"L%dǫ9ekA{0zhUx eRVh!nh1QQ@v޷1 e<P-G]Q@wy-)o%M죯Ѹr|Hvru=3_KއQfyXꆩVa?똾 {w@W'I@#/%tI`}< ߨYpgYZ8e4e9ca74e46b178a9c1ce7d58d8374155915da062b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 ) HOL-Statespace