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  A'|\L ] UpDown_Scheme:threads=4elapsed=26.971cpu=103.668gc=3.076factor=3.847zXZִF! B]ŗXf1-q恉<]d %S TzA=0 e"+gr÷&, F@W~+« &Qe^ަF9a/Ngl[cB ȞMX:b.֩- wbzI$Np2 e|_^ꀙ(HݫlKh#ҨY)nkp)AB ~ (΍ۏ8 jR"v Ǥ灦 /:>kw# @*6qOb"jtMl٭"e#u`\ '&CDlJ&jp;jƅfMfK==CB$7o+|cqku~piշp\>-~ߢWOd-) U)jQ=<@QoYH$iz7<1δ;g!|s]Ac,Vw>vʙn8x[:28[[kChEz O/(V.kcǍ21`ηދ7x&iC&& st:h{aYx 4EuXDgqԌD:8,z>%֬w՘. ;}oKܘphmU%jC̛_d^Z82^'KZSw3R溲>C] :0F%ڦe-wU)AZ sml^zQG0:1fFJ;y#í ˯p~28P-]{ ' UpDown_Scheme  1vɖWߤ/z"b&x\u, L]^) udCjc&$SWSiK/P Z$x{(%LSa.hSV?%'hyѾiCSrORtT{߂熊rwYjAP! :đd,;}lsۺ(${Fs /ϚFfҕ4()hC&v;;Q%g$CRB)khҀ:W t4y:P 4eL ץlZBѫʐޱgYZ7zXZִF! K(]ŗXiɟ1˦rnzx <@0+gML0LW~D8LO2ylG]wx+aTڬv4eLDcEzGa;!=Vʡ2 jH{ O#.Nu9 d~SM7=" \ZrנBJl 1ɓݝntI.¨0#3adv Qh2ȣ-ִKfCqar Q02`D)),_,#fX di@2Q8-n{Ǖ2>FSjpeq^=C H6 +%Y6@#(ee уh\6퇲ewaKBi?}^(y[{^2 !:#)g{ͣYI&Px[i?a$ia{=9]Mt9s`8*>_.W9mOAwL=Bd-:qyCݜ0UfHc;n>m$e4,Z,~2ӲrFTǞs+WBWh]jUi* / 7 V!FR MM4Eud-x ]|9$Jk.A٘slܪg*rگzִlѦ2s|^9ISMF!,|fI0JQ`CvhXKe/_]O9pZ}eUD˄wjTbRvMg{!fr-=LO!;4QX0f%2+! Vw/`ldg!7T6hZk%yh}r/H wOQp޳q)_& wɤm`Ʋ icRpH!_: AT(R%7i }ܷ_h\FF{GȖ5nX~4<ܖiOHQ}:3<_\֡/BBw?r fzIzYYdHQNw3XTbaBFǨ  [Lug Ҵ̎?dfJi =.tRDw74p{B(wyQWn v˥e5FszsNh]榋Ra#^o]yu׼!1FjI)G W#ղBz;pw[>y^TÏeay,>J$ 35?܎ynH pwac.5H ɮ h ,FեsnW\[g!*r ; )w-Zugq8:Q4 _ CREU410 rYym'd{8nb6赯^ssb ^}8#6Diz&rk^mp-0LG$?#J x:ԨK I =< 1%EOȔh N*-:܀שs\9:DWR*qI75P]Z)!76@TCN2Ni7d{e0@4[D@৘O,9=s܊`'0o\?d&¹yVUjt%vԆH~R,c0'MMr 1u<:2Xx"}& !aXB 34xX5O4ue&B#Rlq:P代 "q7Lgu x6 <a 9ppd*'OaՃxPaH/SU3Gxcr :ڏh~V\y҈vc`EmZ&b -D|Y=g>rh9J1QE Ms5˥c>,T #J<-c|)>v7ES>п\R1 9L.{n?(kL2h`-rf;%H 0 )}uՆE+k 1av%U>h.P%/u\|掦T,[(|K05