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 n Lt, ]]]ZF:threads=6elapsed=12.302cpu=44.608gc=2.624factor=3.637zXZִF! _]ŗXf1-) enȈA"tr-j. ZbNVHDw 5̇o$a%qtf I#~_Ys Á. ѝsS\-1vFpr/sk-JO m% @&ck7S:R3Cb\KnYRYEW ~n.v9@ب@⭵*.dԪvw+wdj{Dڜ~GUQ4N$X=haBّ~ 񻂈E}3&1l}AԯWCue)Vc<~IK6p VToF%|td%G^\'8"]b{~٠ۨ0( xNllf1הm4F1<&dO'l<&{g!-`= n=ZNS0: r>"a މr%R:ru=PژA.#-_A3$g*6*9qnt V/?n#%TgYZ7zXZִF! 4]ŗXiɟ 1FE`空^EClό5ATԢ/k3;*Ҩ͈+&ߡG0^ȗ790VW|qL|lsA^ʔnCzn̯XO6B~Nq(|\1P` >U\f_$csmBҚ5OY!Av c_T9?m5~?a,TkMt(>pa7>?ǥ'gL)oAHH XvUFSUwȦ% mmQ]Yd-Gk Gپiz|_UޓV8IjOO )`yA 9P@!~~-tZ_ûiN HCfv_yx"+ð!iVmZۚ>o"[Puæߗf/U> w~mluJS]Qߎ߳ր]@{Ŝ>V܁:BpmGyr+R7)y㺸,,7h| ڼDgYZ7zXZִF! EO]ŗXi%B\ Q* gJ:l<EG g0}Jb}B{ɘOP:18eR1f@#Z^m554YY"8kw17sfũSICl nӑ?kɗ~)C1̄aO9^ajc`dqvyk12Yݕ{yYx0w˟`U~>=2rdzQ#(?01Ӎ%GOլexɞkLtѣQ"unW ǓT_eHn5"cNYnF pV1v!vbDEQl [c΋q򽚨[~*Gqݜ^"X#>aP8 ߇!eE>oژ-3%p&nYP{xb<>rFa-Ss;Ty`>sx6 "bΌlcuGؗvN- {4vԴĿ/a=\b ,(فb%#]aD"YϐgsRW(z|d]j.M|˴Қ7OIr-:vu o9Um4)~#؞-mֵ~- +ej~*}ZhE;dIy+uWb\i,p uwz#7:7e6 }xJA;Ύ մˀSvByR#W1mge#5ni&x ҐQsTI zOn# $}+ۍ""[L`jq.3es>Qw?SK[ڳȺWz0k6Sdi#™~/A˦{KORJ=ӗp*܏h2z,{"b1S購ui;GiᆰBk:h5`uPVӆ &Q0_[>YRʶ/9W:ʼn~ /o=O6dZDu_au*-82^;YΊ.1qtٱ|FnGS9~1yu*cHL)rKd i">Ϋ2CVv3'WET8NjaQrN+˄0 P̏ZRLRD5tp`Ӄ,U#P=zMAÝMhϏ Hg73Zoj=1&b0aX.#sz@> XT1u"%|RtAc/IweC4[}5