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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   z d, ]/]ZF-Induct:threads=6elapsed=3.611cpu=11.940gc=0.456factor=3.317zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N׉ᗭH!HjɆo'}<1Dq:%Q/V92[H{kJ\(`]u09t?]%G 9+R1͔#c2.44.0%ꕇg#E Q +$gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|?vrد.Sϐ+SIB2p"LC=9Y\FpYw7D I.1p74>B^8JIaŮr9tϤ܍lh55Tkx~8+ke1<@E%02_;<=ý1o`,BߥUfac;D\ &Anw(@2 |zۙ,y9Ƨ%REq!>Tn]IvgYZ7zXZִF! A]ŗXi%;q%kz)̛h4Zɀ~мæf̨{Hn%UXs!yg o gT5E6%ҟፆ*aړPA(>b0}=3] Let`p'&v[b2w Ab^w18"dA\޿cJ[ly$V(޴B;a pbٗSHĨoq2Ġj2;R 9]PtRz<7 :qEI\Ґu.Qj:N=f77|άޗ[|_ "3u+U=4Q[ɬxȭyK" M뭻4G9ՙ\K+ +1׀&R97/vfʠoкAMK=礬"uC۸z,tx;l= W a$HY X&.AO-uCP% wu(Kҧk D+r/֗gqu|!`5)à'o53pZ%qʱgYZ1f88cf22a9bd58267d973ee78b062fb085fe5ad07430d2c0a1b08934e5f6cb35e5fe155e1341f0ec 5d578212d20452706ae8ae328fcb7a00428e090b3e9ded7e8c8dc553413c92dfef169217495695fb   ZF-Induct