SQLite format 3@ .0:  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 ``; t$ ]/ AxiomaticCategoryTheory:threads=4elapsed=18.240cpu=43.980gc=1.532factor=2.417zXZִF! 4]ŗXf[&,[mI'u2'.E' n}Sx?xulI>bDlZQй@4ro`i5Ocę0 W "3_7̦CҖCE\bZHC͍ m-9$34z?i1.ì}Q>]o1vVt\ \2Kv b,傃\w o FnBGMeןgH؊] uDkdas" kDo@fg8ECmteiQib%')ܰ~t.Y l@nɱsaq\hn~C7[ `OBp`W@Ƒv ]؇(ߙ0iBu `/lXIY 7a,*!WC]f/ !,#~?c,pT_2FLM.mn?L|R" ;S 뾀ZM%MߣS[ :od"EKMwT驄p-}x.3q<4Cj< 6\Ct?EomtHL S_nݼ_W} }X$G>g.pӢkq2u Vb劚G|^FPF|70B0/F˜,"']')WVN`gi19:$Ky~K:W 1P%]D6<암R4̪; ݥE mB \l5?_K<]Hc=&DyS:fB`YA=9.TipPwH6r߲~t;G G v.A#db1([f0H`( AڼR