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  F $4d ]/]ZF-Induct:threads=6elapsed=3.364cpu=13.116gc=0.552factor=3.907zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N bǓBVxŚG/+C&*I)F;WٲQ)i]XΪ@&u3_%.-AFx9*,czz~<`2l~@y|o{|KoOm;{VC1$IPvCH7hjMKZ"l gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzޭ|=` OhE]Z@j OU@8DO,ߧR6V[ec@p!.'D̮~qm WCfѝmT6Z*@ y2rbud.uhRh2w!/lKA`*$rUE6z8]p5@Y/tuO ^/LEDqzʵIN 齱gYZ7zXZִF! Jj]ŗXi%> ۩IyvTϳ15~mqE:jaFfYaWuU].Ɛ6[sMe.\/o׏A{@,rDI"8 zayS@#H!oc5Ӯ%"y8qB,3M'R:@3%V3~ǢA}SJFOWjkIZ0ڜt#4ɂKK5ds "x8(e7C(Yb7?o8f7 v[B* 5BeH:"Tܗc^A?c]()傺סt𧇼1 e] s(կڢ%!pn/B@/ںgf 3 03KREI E b.nRӳͶub}[) tYac6kwFB3E=<ŷleu/8]P fc\Ļ`۟N%M`Nb((׃,kM5ԁQorT, ׇ&=^gYZ4ad7603b58c70d4874ccc0b2b32516a4fadb146991654f4d47736227ca5d0c587bac104f80bcf18b 20cbe4b4b9307fb1ef7e21220c7495766faa5809345ee4fdd77f4b49d284822953f91f38d14a34a8   ZF-Induct