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 y/ \,4 ]S Monomorphic_Monad:threads=4elapsed=33.394cpu=59.476gc=2.872factor=1.787zXZִF! f]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*noǜMxSym]bSweÒz ͦ ﮶GC;vpC :nxiKQ?'C3TLo_DMDOb(; / Monomorphic_Monad  0jWe49˛ =86g *랻ʂ!wov,k8. ytcoy +K1Yi$q<h!|$"Qz߉AYjg2 mKݖy&`CV>#Qh!MK5gM̗!-INR_o]PF+@@#u90Ѩ^TY͟U&eiNڊ=D ֭hq#8?DZgYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@Ffvٍ ԁ'ę3-LJ ~rl|5ۙVs㳚E!R O؋sjJ;-{qV:ք#_rP瀬[ST"PkY͕GDYW$=0KI4KU϶4C n ÇgYZ7zXZִF! r S]ŗXi%L 0G';sG?~sePغKECQz_t *S2޸"4CV1F<*E8(v-cgoNi0]Re_O't#ݒ1/w1GQ,Mn+gU2@ڗj/L}7oTh@1RU=~f ,3hKI{o=Ch՟ @Jca5S$PzDeK23s0ܥ#@97vf"j^VzAW<|7GQ^rOp=oeD#8'A^{Mc:}Xi8GfegTr;3@VXh-`CVpf$W%KCЈ~> zlVck3v Y*IbҏWvSQ|co(i@%sHKri#'սZvQ5Y$WQbFI.**#as֩>i l?WsO"OedW〢1jpAx "V{S"Yeaڍeae3*U l"rꙴs_j1B^+CH)TJdW;p۾ 6*qf- pM.%vGi/k6_F=͙3l[7_Vc7$ԙRa@eŕ(xOBFۇ``/JèpBՍlsNL,ЉS}҈X o!\rdqmJو>ĩі3c>?ݓMk87CUp'̢vq(7nHEZ8$9bc6fz &wPGe&*T@͍ȋURl $:.cHSr}b27K`;Z}pH$gc{AHiT7VcJ Y0ϐ~}#4#)$.똥MT9[]KJ+z(&o1X7Ъ0߿؆jg#pz%G[D{\~G=pWpLh>z<FyX:*%YiK)x >6 톾cc%i,8vkuvlrID˲dt̜)`;v\5w䛂,W 8?As Hb,KԧJT`gRTfx> ^ō,<&lĊ)r%|b,l#fSTCPmX5άLN\]-M;>༽5]E2ֵ䷫<''cΨRiOv 9Нǭ,굎!JW_3.l~EՔ:To+oB!3 60[v;7㛆:G蚈֫g^\ռ"Q\cNʲig.2$ ڏÕJ-/{P kd0G[^ Vgrй(SÐ:wCS,]k~cl `F ϰ`y}jf=ؠ[˭MT;% =?+Eʹx*aׄcuD1n@ង> u[ ."1j|=wazv5aG+OhڬրM WB@öXW^"2psZ,aD[+ǽwi [H:̘~A4fsjFZ!H`:qPNx|]bet]0v}>ġq-[S5?UW,gxʙMߜۤd7ގ4f9Q:mY("xnBdS/&Whj|9dDqL^z>^qiTf:وҀyźm(-d #YQ/W~5aVMĹ7ҚTz]ѐOUtqZڏ<cs[def>KfQ-G6! '%M}zj5^@a)G;Hw.BQ'^MdS ?Mߌ/|*9Xwu<d>WoAH+1>́C?K1kC.BYXH8 dgi ZtF$[Roj `rɜ Ű&- w8&) Ax?s[Dmq/( IiljxG!Tg@.̱AGKrg0wv[Bi*)ˣ'bI'LZTgYZe5fa011aa0c6c06635b6a36a9f6246cde5fd8b31d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8 c64e28adece30d425954200e9f2c1278da50acc4