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 \9 |d< ]/ Locally-Nameless-Sigma:threads=4elapsed=24.430cpu=84.808gc=2.504factor=3.477zXZִF! ({8]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.cюTBWɱq 9ɣUךr2R dpԠؖ•:I )ڣ(!SG~ (HVbo8kU?f0=bWR`x%Plgm kT2礆  6٬<{m8 9 Locally-Nameless-Sigma  ؿ*(Bu+r.Űd :ִY[!kKQ)"-c8'RuO4r4_]q">:Bu?Pvjr@jV3 W }-Vt0K~?G˄o=m'!pe,Ǎ^ZH/hޭo Z]a5Z NJW,M&Ihbx„bW^!2iL4ǖ*yܪ~s-LXM LեL>n`-{UD}akk\V@? ?wRCi1,@GMHmjm%ްfPwik*6ES_iN!`{H\V ("V 7)Tt3Uobwg6 O\7x1wj<u+Ǻ9o\Y ҩI~0(Th`X#;o?г|hٛ?s+H}[mঘUt,Hm,LyFm-qsrc|ä Owc]|c+`<ܴ#+L 36f˖:>ՌM腈ԹzӣQspH*UWwt 5rUcHv܂(nl2^Pb%$K5a-U+%PuyR>ȓOf͌M:୧gހsʞkCН78KW=gYZ7zXZִF! ]ŗXi%ES36yP6^+N9te OnoQ+oKk%,~ tb I D}wz?Etܧ?^$}%gt~aX!v uVg 1* UAar z>%0;p=%oiqraR AR/dQ$M\7ͼU{:ŘXOvLvh"t:M{C4'_8c`ׂYS18$x г^0qJBI5N[NRgHߎ`S%2O#XI<ObNH[/7q~mfM;A|i,b˖hjwwx"Mu꒑厑@޽9Z1j8NUkhуC$}Oez1bS"ll:q "?["wdaz-s/ ]FݎtQPD)SR8ؑNXJY)G_~:BQe(J1` Se(P^. =a GK?9 ץ%˂Lu_ uLDtn?yrZMlO-8@C%3)^jpgqQk?T:SdZMIdm*ZyӸY^tQToPtlnh'  tspAGW-O2c?[#ł>E/NžY~ΔM,eNzYJ?5jcFNԏ-h<%:Uр?价K*kc_F?t\stީ/0euἓ \< (8v ^u_g^4V'ݤ;-BӉR>2|0H-ᣒ6+(pM̍TآMo^|`(o5kqg 릹}z|C=&k / ?CI&Z gqȜ䄛JPa@ȌJB:) _[@4O_!T)IH1!LP0CG Nߌl5{pbHIopv3z$jv/בּ5QjYis?Q?tNHOumgSPPr)^_ ga#YŭS;Oۅ9Բ# [ISvk~ ̱ouC,uWyO!5-%댇ePS+CPJ]7Q{10(elz Vߩg\G}qȖaGP5tZ*F Ulb(7Ft d\t,[|Wst+RTZ(zoqBg3cu^CNVNW;{9;;)Eٔm4L(!uciV%Kڕ>p?Guy,~7aZjM[_3#nK(x:驃%ЁSio Hy {~P "M?VNJ{hN9 C )jo J*6`Wԍ󰰜-ud]Nv,rx 3:g:kF,XD xf^dzaW2i`CBw2 b{e@gYZ263493c0f9c378a6bb3919d0a73cf963d10472b976b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568