SQLite format 3@ .  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 CC:' ,tL ]/ Case_Labeling:threads=4elapsed=3.908cpu=12.592gc=0.340factor=3.227zXZִF! ~]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`O'6ףK?Uw=ίl9t>sk$XhÒI܅zdVbUyts*ւ?89P- "dKe1#- (d\OJnE~暭hLw~NoFIڣhg 8B% 5ONɠHPSس-k`t+994X ?9*w+gYZ7zXZִF! ]ŗXiɟ1S:Jg~(dSH{OPvqWh,RXU856LGSwvꥱśb -Mcạ9_\L3W5^6ZpK L?i@! -E!UT×Z3=;?vY(y<qs'0:>T B2Vmu>h%)` 5uGWwWRM#bW+8\+r"8zg?hM\IՏ]1$'5ePEհ*V!oYMDMAs<ݱHD8BᮏJ]3|Ki{ѻ؈#h6Iju @ȣ D-Ĭ_DCu^*A]W0/ld@3\4 Q='fڸJ W5]FlY]C^vĭj.WM~jJ.`4x(6]DU߱Ʒh E%n[GSϾ?sMx׌z> kg^%#ª[CbH)(pԳB`ܻF+ ;HE<PbQ~pcR/TD)N({dۄ4@z`j]o5A0 D @bI?} l Vق0)[:kf[ͳm.0הb’}-5>߀Oባ^ǽU|f|g'4SgYZa63f3c96a63859d92efca34ec517f98dd89b8eb7c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a ' Case_Labeling