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  D ]/ SIFPL:threads=4elapsed=35.942cpu=109.680gc=3.432factor=3.057zXZִF! ,|]ŗXf[&N} wI>>n.|VLڿu@jq\\Z_TNx4N`IJS WnuWQf: ?_ƺX{ȹo`K}ʍ]""@:DV)ߨduF&89tdG/S oKqb;.}dSe窸x({~&M5Rk|u#i1ge=LY '"Lcp֔$X<.]d NW}v쥟\`:H#>t &ϸa{`Vspz[f$uVrr5c6v矂YFJȉ>>E^/XK!.GTe3l`3?l5qGxך2ᐾ|Ҹ NIQdMD  SIFPL  kǯ{FYye{YWG J=H y7Z̻SpEKaE6!{7L~!d' 4D^8DO<:ibg?09?WثDBܼx&t443wbbX6t~/*@ Ն;uj ӧAW)zA4bP"-*] ]49Ut ꩈ<-G:/ 4;7dtKS4sMP 1l5̔-ˎ&>'Q"$ ETl!QYVfrR(ejfm'ưn`+ 8oۛ 7Y9>5~v7DYfXYs5 YQgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNAPzMAJ@z3^ -{5/G-5K掆Tט$yNnu39+zt6y7icf?(GDa@(m>!K9|xl086>Oy/ y$. R@yI˕o5&6%+dJǿgyn'Wq[1/'/gKwB[e" Yڃ(ڮ˶־:9$MNF"&=cxQr@`W5涊R ?QA\l9ҧJn J&" "ޘ+=G nU]EOUMʬ(@cX#ס)-Dۃ} =Pl<2ZdO6&!?0H쵸1Z^GPؐêǺҋh.!dJR] P[mlc.xRX8G!; 9[`,ˤ̲ _z6 쿙7/X\ O#+Ik@9cDud`naqy; r[g;<_垞Y6e$og_<;<*DFK!~kl6ԃ^ Yt*&,XI;KgH|gj@+).C/\v);̢ꗧH&+`" e=3j4d+z g״`hmiD_q8<k̦wp2C˔RDk0cBb7#ag=L`Ns ^Fa]R%Ķl 2] BSۭU$$PҪcs$aAדޖWoy$yB|!E݅"v[X0ᤑ>sō[dONPRdw)sTvÖؖݑ1~ ;~ssx&,H$Uv93D0clSЊ4rM[L΁ZtB30Taz :^c<lCkҋ"##zظ6cR-&\6i f)A T9@BiPDmk_ISZ}H]d Jbw|#`T=xy%O?P7Jf_{'cO<@,;@Rp7ђZ(Xb<eg܄g?:C!$%%yyz?){#xaP4gøk-O2\OX X94͍c)yFĸ4v9ۼ`#_Ԍi;w eM6DN2(rܒctK뱑_^>ؗ%Q?䂙:N"'^£E]6e! M[w.ymy bo3jqgK *ӿ_qnhzڄ<qds3Cvv` <= FO8ju]_miq$SM>u^bOw1) V}Bci}ȷOU}܎g8Ʋyd¸:r#T[^%O)p.˪$Z? /UlCՍ`d8%;r}(Qc1oby y̺LI"]pWe##+BƜ< m-B>ºed$6x/BnLtm~;LJ_/;3 ׬7ۣ^E:]ھ?NyE>5e';1jClx~DDZx&yO0k\JD⤣pieƑNykwJ}`XS%t)aO=aPw<"I}!K`S~QU%Cђ ~ Q3UP‡4gh_( BnOK+|Z[ x o"˷,4ϳӬ0P+:'d>lhLO}ш]}osY]3=աQ(5Z~F,i RzC|hy$'IA$kA]FG81t<) =@'YqTi(gS&:kz+`\H@л()aK׋6r`FKVI2zl4_v$JH,e6m*cxjz^+VUwjyR՟VPET`Fy᫱M?ںU6gYZ158e4cd1a1eb2e3475db2caac1ac01d04c520bb61795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89