SQLite format 3@ .0:  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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  f l$l ]/]ZF-Induct:threads=6elapsed=3.398cpu=12.100gc=0.440factor=3.567zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ [w+&ei_ wuo+#C XDlURGH#z H_+JNc14t3PA`̇JbuRZϸy\'cAI84 0/ nu`)'QBhO3:+ gYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIە|<_UЏ)/ͽ+` *@mbLI/nV)hg6%G6o6@/ |TfI;O7xBI)JlY+ |ZW4 cWt0ٱA E2L)\)|(T`ۛ;ΊƌOBb8vTjHH8V4Y~JSeLi6@)r-,Mp{$q ]#hMb a)?:nmfK6/ч-M!Lo NPTC*s;ي1~p3xFUF 5w.20LKqrA(Q."ݙ^ɥ)X)AejZȕ̻@!f9PG+Fd$p7<i;z)?#O>C\O!Nx'!5CeO\]X]`GE/Taʆi8PsK>ƌ nt85s#Qq]:7,UZCnj4KiBSb;^^?!SbM 7V ~2H#ƪ96>$+Zِ#։ޔ8LVnVxYA߇N J;>B&KygYZ5cd4a48cccb386ec00ff6a93803af8e49fa44c7f4332e5487bfb4ad6b6035d467f295f79a146463f 133fed734da24fd93ccdf88587cd53ed5f6cf309577e23c00f50fa2b2fe6a4cad59e395850a0bef0   ZF-Induct