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  " 4, ]/]ZF-Induct:threads=6elapsed=3.383cpu=12.696gc=0.668factor=3.757zXZִF! ^]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NO焑NIU*):.`<lG<~mJ2&.# GpQkaVPjMvhqW|FB^ݐPs$3NxKUE53Bms 1CB1̖[P%"Rq YѹmvN9};# I ΂i M ;M75 J)ӱgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| 7Er;Y@ .{:漢7*{^[kg,ƚw, 1*>2<͗uC3?[5|\ߦPFhPYmMvH5\\I)`?|p#TؼڭW7 ׳eW' n0`y3ԲcNĸ’QUuyXVX;OLE8SzUPQR{N,t;9gYZ7zXZִF! YP]ŗXi%>b da878GϳIKKvFUAgT1 N8GG7xk8(<0B}#g8G4 mX=5]Gs86fx+"3(@/Qug$=8^׀( M6cO瞄%5]|Qm.72B?c,'M 'S}ۆ%e*vba#`%eOf/H!oFzuV݉nJ)!Ab% I 2PmT/$x@hLXW:=LOLeBlx-S@m ϜWRWDp31 &Kz"gYZd17e529cdb6ef104ba3086c0046bbb2369c2ef90b32ce723b0c0669b9208cb20425fe0e449964a29 f5366dc7ea235f8f587f57d014742bf7d6d654bd43eea693d5c7120675607d08f89dcc22793d0bad   ZF-Induct