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 !5 $,\ ]/ ArrowImpossibilityGS:threads=4elapsed=3.731cpu=13.560gc=0.176factor=3.637zXZִF! DJ]ŗXf1-q恈͐7ӺV l7L!hGfӚV~rȹ\~V;XTtNq@Ae\}奁=H`j E4QlR> b<{@jf/NYHp!?"Gpc`gEvy˪>[V=6)kZO=قoA%idv i{$UӺ[*IXWdtV, ˱>IxJ>^ qXU.ICzi6^\S)e!ojrs[0x)Hf=$gYZ7zXZִF! ?]ŗXiɟI]gQDV\"-Y_` N)]V4UBrA3j?RG#4nR[cumqP6ҎŶE/(+^BŗP)U$ff.q*%R(&'gYZ7zXZִF! )]ŗXi%L TZ*V!i B Ry3ΰ;7@Y.,Nk)^N"3]Zl';}50M/L miЏ'+#u%qzCb&:Aȣ|A:3 Pch !Qm98a;d3e(`y,BQV*+iК/st]yu BF-b@]~* [#Q }"2wn0ގdtҲC pz'R8_&G"ٶUz;'.]g S-A(&e(k߳H?CJdx!gL_L^GCSW]C~h~3/ZOr$ 4!no(7J?(QXv5˽+K3r_T| d >0E"3IJGD=ٿ j;\vpT Kc޻| &&1>`5>F<ݛY&Vrʸ~,Td%<1pwx"qMsztt~V>O9mcmRFQc ~'k@dd ; zT &T|rF ש|ifPfw3yF7u(.1C55X?"}QuB%98U5oW{LҤK}t'9tßi7؊ɃBwwPY89Mwt!2PoF(rVjTU:~4 侶KuDLř