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 \ \ ! |d ] IOA:threads=6elapsed=7.335cpu=32.984gc=1.564factor=4.507zXZ ִF ! ] ŗXf1-qN50^XݾV'褃)*%\i`,;K B ;jų/9Y*]|@iv_t\
`L_dNfS˻ɣƚ:6TV_Owx| Q$w
TC[ y WK$]gh j{+Yvrȼm),Uz㏚c6WDltWK"=ņ>|&wV#M#D9T_^nyVjx`1UdJ}DE5 ? sPcG$)8fZe :M}Y+,b{~m٧hwO5ծ1)G/Q[%f2j }~cl&ˮt5gf.^`+٦$Td:_scXų ?n. e dg YZ7zXZ ִF ! `x] ŗXiɟdN'LvH۹Vf+y^Mdyfe[Y+zv=JZs`3O3VF/