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   , ]/]ZF-Induct:threads=6elapsed=3.175cpu=12.540gc=0.520factor=3.957zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N b&թa-jyptPh*-_(On4!|NL `:mJIԚU# WS&%xVѓThsd'R7=$Ic} ud"yB5aT& r ıx*d7ayDŽ9fw$WBcORb%foUE5s sDݑKr { XiR5av{ wei`&gYZ7zXZִF! ;]ŗXi%> 8On 0t&~uI. yx!!2 Uln*-dsKr)$X u9B͝ofǫ+t.lboO"um0ጩ[6ۚ]󨒒=.CL *n 3>EKul4?he:?R4^"o,^5iN&_/)6[s"p} LFn8&ghN_8>prCp>'`šHWKiGO]"x[5D)<旙bpnUl6}2*_Mq@Aa*3>B:U ־ŪԆ(f)5ndg: EgA9I=e5@_Ir"D5F(j0FCpjC('g!;x*5>%GO٨?+o5[qjq!|tlgYZ18816db94beb545edb6219034f91f485b87b99d7ec1fa52d7e9afb209e4092357e883ff03bdd4353 50905731149271732490170e976137c048d98203a990d888ac4c7ecf74687e9b3cd16621d473a186   ZF-Induct