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 d $4 ] Category2:threads=4elapsed=11.521cpu=40.740gc=2.156factor=3.547zXZִF!  ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~Yf'5`z9v6lp >&%0.TDз}CT;i;#A0׃\P?Aќ* ^}ɲJZo Ky:iNfQQCL%uB5W0gi,ya"=! e,m^uޤGG/$t_,$*s/hcDJēϯSҳf@90mѲ uLQAf; 7/q` op}v]'އ LBe O77ZEaub9$.mYm *iꭗ=wlwNAJ/u"nǽwgYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAa HހFT]hX%~lL[2t.ϱgYZ7zXZִF! _]ŗXi%B t>5o۱N d=!qH|{c m9)ۚM)殧(sڑmn,M۪>oѿ{H= ,?檾pss a`L/ݼv"sskX8e- wEMgUP W rj^64wKE]ce$ɰ4tکv%[ïvC z6 4kl4ĺ pt~D<q'E]b"]=й*WPމ`p;4b# \BQ"5hpuڛ%W2^-{R+'N'ھ":p竲IcSToCg OukI-Y QX@4'&?P.'FHUFr9K2jɃ۸]$1kS%A`{p{:Ⱦ16XRC\Gxrjb#B]2$|O"saI46g$:^vGɧHr(&si!B *Vah5|c+=@zm}ocgulӬLϮ$t<\?7yJl ֗DR bc`"lTrh8 47gBv5@7`$y S6q@BտN:g7OʓmVEd~#u& "5qYr&%/Q`u.v:ZHXb }gYZ05b93384ed34f99f0665a461c1d6082bd769d6fac3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c   Category2