SQLite format 3 @ .
B
p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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
&
$4$ ]/]ZF-Induct:threads=6elapsed=3.348cpu=12.944gc=0.548factor=3.877zXZ ִF ! ] ŗXf1- W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N
d9z||F LVcu_jaS!TeP nR
۞\]z/gqG!@o}d ]oA}I'4=@^b
[ X> k9Tq3 ^>|k@/9L1|Q<з]uV{yV0* b`~ xg YZ7zXZ ִF ! ] ŗXiɟ9\'B:b&=*eVBz(h u._꩷
DH1`q[&Otd
84Ru^P'1Ccb([<58[ U1p흸Z LDjdTgԽK-[~Vaxg>[7xz-d9Pٍ93\:0vL?#e6ٳ GqnAPA~)QOS33Nv^k6xխmI8pf=2V0Y| mz\OyNtl')@rvdB#"'oB F^q
p Js$& 0*e=6`pEվDO!5]+ѹ}勏Om@"JZM$H:CLp;PkOd?F("&Z/4o_źLM\
91k-
huؙ$_M82?4uA wX3 & 9hVֱg YZ977e1e2afd9cdb6f8b6e7a58883ec74d0889b3a17b8f755608c0663a4aab9838687dac5bc4543ba9
ada4bb4d1eb585220c97b6d5433cc2fba8d0f3163312fb4e691f7e5e580c14edeb05a9f156e2ffc6
ZF-Induct