SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 !1 lT ] HOL-Metis_Examples:threads=6elapsed=14.676cpu=64.480gc=7.492factor=4.397zXZִF! ]]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVV)_ߏAG쐖cW{eqr/.x0dS49=r{Gc^O`>L:D}ɗi扭T4 +%$#IWq H:y!#`+::VQ:7xi!ESo("z| *HTA{u(}~|8pE!hۮT}tE8'*OA1SC}VZ/YcJ,%0Jd7pwI%SFE;mEٙ;ًE=k\m>R"1k¾ K"$z>$L2 J79bոjen ƼiZHΙixΝT?[VTu񶲙ɷRK f$~++F)5@*ո p+(ي'mKE#cfZ_eD =LEH,3(,?cwTi9f XJ0pU=^H6NpbY`ޑ6pt3 REE!FtYKigjg[ T^sj4ѱx?ϑxl@#}}-cIh<f˘^i:wW[؟/Ʉ3m~@"07Ozt a6\~GbMbY]?J iPDKb#euSǍ#:_5&DN/ҽ7=<> ydE6wF1s0vߕ&> E-rٽd Q܍c4{`JkSk"\ 4G1B`d͚l^ݥtԣCWYunˊi#J3aZ) PԬAT VZс](+`d9pnÄ] LZ*G @%E0(*-scOꁁ:Εj.#2zU~[#D7!t>}$eky3LI,Pѵ81$U֭e| HFPy>#48@J Hbmi@Cz*T.daqUZi魣elc@N&L{@Eǹl-ӯ9in>8ZVZP>K KgYZ7zXZִF! .]ŗXiɟ1$Cܨ }X 6P]!ẞ \QM'%* /S]:L $zIFTÜs365JmѴE>z ?j HB =:"]_q<N.yehiEwM$.^w^.= t7/$4E>{rT#SUJ~p&?[UgYZ7zXZִF! B%"]ŗXi%>om9cDi7ľ?cǗ#5[0FfDN}A^aUYIk?'!Mg$!7i[Dmy\2?p 5CS1]ϔqh_<$ g/gZ[duIJ=Ք`]O fILmf8-?Vdq4)҅tlNkqV\H3ӫ/FS+ވ jw~R)c{jT<g~=4 9sb-&BЪ: 7N"QL ]}yeODk?^Hx'<4bXLѓ<j޿ַY$GZ$LkG-:UǑ;d$k}UNS'`6"\4T&5⅘r'uΊLhx(^b:Ccgqp`OjGVLJvRaIPF7i]jg{b2Pm Mq:lt@ lf`"VQFhGiYV|鿅 el1h$H'rnow$udq{quF|UJ(-:zJ`:?1t3hVE)r[8SzXVxmC 雯^VNjcx?F-5b*17CTGؼO:,Ptq"vYS@h/KP#Z1H5t jR{EHX&Quڒ~R#F.y`a,ϬnݝjNN%m̋q14Ô^gWZ[Ye#nBI󻩲J ;[dJ ~I~Hqt4Pܡ~1RL|PQ<1b㩨ׇR8C%f+Y[0OTh&{nw[0Es{~'cU'x=zyN9ent R ì99qk{_[mɟeW*AHb}|N[RZuΪ"L.r[9J4KL]cɖәЉrԁ F¹3Ǧf#/zXZRiS:q; p\PlzG{t)dt/V-gT \.!t!?0yyrec/ͫ+r߯z`waWgzRf