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 ]/]HOL-Library:threads=6elapsed=92.452cpu=497.536gc=39.172factor=5.387zXZ ִF ! 6] ŗXf1-q恈͐7ӺV1̗e&$W$!>έhz+>뤡,[>u:^Hq\ KR!K^v%ܛͲI!#@A\-z#+Z uLFwj斷-3Ph~C[}gT|EL1}RLqa/"͒5tmDMIهM&BVtD5Bu#s"}\
p{ڿ}Ul
l>XYJuEXQr`REkE&7MfE%N@sE-b()ԇ1mRA׃_3;Ay:*l&z\t#\UDPn'Dޕ nim7#uD>Y6ǘ!z\:֨.nLR)x2]pIgC럷fL, $P+!&Z.Ga<جn:HDAٕ;wx(I'յ~8! )XŞOoݤ8]pr6}9rD~֒ TkgoAĂpL4܋ɬ Uϓ{[}
ް |2hfxHVLQE6uef
H-tQW@qׁxHRTYK]CvV0`}QȄT#]\ )Qr)єrR7>,Ԉ6o4GyEX~F t9'h