SQLite format 3 @ .; B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info h h p$D ]/]Cauchy:threads=4elapsed=5.436cpu=7.432gc=0.2287zXZ ִF ! J] ŗXiɟ Q34X/K{kbͲGA%Kįtp ?e;q췗:kFGk1oL5c}KϏrG:f*r_8j">_elcrlsh~ev!6P,XSK+<%fRM7I_vC#/9II͏Q>3Gj5`?Y4MUN)ohSG>EmC+pq7JUl>x΅eY8R ErO2~w3r F# g YZ7zXZ ִF ! \] ŗXiɟy?}ScO Zh`KρqD.N+̈́LO^c[[0 Af-f괽_$ 6 yCQ x Ǿg YZ7zXZ ִF ! C] ŗXi%D64[b 4be[We;'1~A}B7uat# Jq-h*J,9fxȢpvP! y jĻsPUcW-}!YnUxv_z9N_KG͚ |\~sF_4A1Tfy.csZh&1i5n"YѳIg4^:臭}.I&"xqF\b[rԨ؇yUˤ믻uJсHjgݏᘜ q)xfCMW[r<:g4mG(8_ Mt;NI0 Yr꾜l-oHtgƵ"i"4S$펂$u>_G,>{&s1?"uг*V\7E(/w,R[|J˘ﯛ4lX Ǡ
NdbwK?HHC*e.K턆
sz%T邜(8`#S