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 uu|% LD ] UPF_Firewall:threads=4elapsed=84.971cpu=231.056gc=9.168factor=2.727zXZִF! p ]ŗXf[&Rh,G4"ŐUKG, <{}wt-A3ma;p@/J5m8ֈ&_Gz;w#(&5; oɣeE؊hyɔ;nY ݭ}`@L(Ǧk 'mD`q֪gc,qO8`dBˊlO[&_6^b"cGgM0Cp4׫.]o"x Nk-h 3-oJ85?x4W:œkWJx@I>a$jHM>Fw v,#_P3^ scJv&B%ȱ=y!xsǓ}9SI n7R:ʂ-Z<e@ uTdqēuIa2z G1CpC2{Y/IG7A0S}A;'p/n{NQ~ZT *DPЈݹ | "qb_=.YK mV'HƭϚoF6hHa酑`i~zi|qM]!6Wlj8T+Dҽ6G ƕ=vDv}n.g s#o(eb2yb-3Ih^1`&RdcAئ+~tULYr+f#tLMh& lϦe \I(mVŬrx8umJm:1G<ˡ̕vr0umf)k\9FnĽ4c@ \;I ;|4p~# a ':@5vj kUI)0B^P7i%2({\E-P^y6'TGUR܋XV!$j^ۃe^A:Ďq)R9{RΣì#$;V?AXYmR=_V8A0%$y`ԇwv|BDb2ФLzFܑYOVh]s%H]Ѧ{(Ab;V5V#C]JΞ6٩$uƒj͇u:qqaan85*B FIZ37B{'!.G&S'B2֙G s$Guז.cd 5 `ry A~\s,jbj"HljGf'/[Ր%f*mϸTZ)=SCnsEAN3V߸X}囯0qzVx;Q"cKa A(!~**J\.p u*dsb=}Txf.JUH/$p/]$C 0IB]pUY]lݐ퓼)t32{wQc+'"n܄m=-MdZedzO}2E\\"YDk߽YVcA;@"T޴e6K|xwZo{(]NM'*N2!)!k aZ>2~AiJ\D*(zFuH6oHV&FցlOxxt \xk&qCvF8r+7[Df63PYa`n&&; F+aJ3kdfwNߗx#Y1t{r" % UPF_Firewall  14Bm,|O(X6OcqT,RnڷF jfAUc ˩!.,I[!Ȼ# V+EkR:b) >[R`Jkg 5AqggYZ7zXZִF! R]ŗXiɟܤ#ʁ<'\=ʀ0tf`Ol]Ph X!v7] ˏdCQd6.!Hi wݵW.4T߳ALYZQ-Hn (DíQAT)3z!`";Gz;KdR:Y{;rvTe\s͓ Xl0*W@42 EGPnjg|5ke.Or°8(cM:*ڼj }󞧎ޥ PhO=!?Q8L.e'-2WHœ/nj2ץX~r/o=\H2gg}!ZzAzKSݠwiPKjk:u|! Y?$+,GN/.;[Ƞ׉L >4NdμR9wM.63俲Hrβr4^eL6ɘk5">H48(e+Q"rWVm3BQz|6:S#]3XpJۿS(#O\K g3%Ez, GCTB!-7r1?՛$Qn 8}u!/; fa*a,9tRNroT[18@LЩ&Ƞ)o7G zFǶM>Y'{ѕְ%L3nHNj?SL 8y,ḧ́x5I'IRz fD='3;ȥ DZA)CرO%'CyFbԐ_VٕڲX Jhd'G4ӪAV\Tj; L CD8,Q|c9I(Nlo$':aMXUSUrg\L̅8U\ɺ,%SQx{Nv_ (Ly5\Ẑ.<-x0I<QQ )9Fy̰ `P6[J|S?g9߁_؇LBk99 ߺO}>y6PWFe/+r`yJn(Y6c"O D^砾`d&FLJ^/95xt^w;J33#n2v]݊v1*E$,LjmtzGbm}ew?e ;V:"{0ge4 !l˘KJ|,A?Smv%._@n^Vӫe C!FaM>Ҷ [;-%yc)pjO T%U5/ "kG fU`Fш0,5 ZH20bdT/|d7P1i˟-E|ȦC؄7h 5udL0쀌Tζ,cr N^ !71<9B|&S| 8w]w*DKuOoU|bb.A5f4%jp{b9BOpGjMkJ"v i|so.lr0ֿ>kPT10 bB#:o :Q < Fǯ W3$ݬ7_F\Fo{u$~Hg Dz_roq5 "$Τ[SwaUZ zL6bL!aX`zkPtP1Uu\[ecYDV%Y(-_XUbrJ壬 %0[]$eR őJJ%R3_x-r~2$5}&_[X|sPQrj`_%[5M ǹUy^˜˳\AX;V}Ǻ2;"S쒵+mѹ^vhuF0pa["֋9 |}uohNiV\bIo&;nBcf{;OT!@gS,DVNalR^tٗ)vFݾ6"\4cl~ȒkYd 1>iyX{ܯК8yK̰ᘔUL[ gyU"j/?M"kQMI믽:0nn-)WvW%)&}Y@ Bz * % %($7F0z =]چ~3?{'ӳ/ށf=Ts~໕^Wھ^L1}=*ĥ4$J7W7BYB. ɻOWJ !JĖc;q giLlZ4FX#4CTp8x~L{4~3TS@FO[ k!sfR"z!#%8ųǮM:0t,u|f A |n@f$N1pVNdhD!HqhpnNZB ~.^(>3)g0LjŪ`¬) BwlJܷi6 .z 0a?g#ݔjGwnڸ r1TG/gr[GBޢZ5J㩾 Wb BB(o.. 8x[3 IVGƋ*Ԁ>qp i *Y WS𕘝'{L \Yٚ.Goz>H'`QKr[(F]S؟޾x?e E#L <0BoӔ8Ȳ.XWm_( C\X=Y?c P%|U3?sm9'XcR{ Qv> .dBbFʈ;  QJgFU#?mr1ߜ{MO u[Q~ې*+p~yϕdKRQ ["(7[T;x̄fogpC r >Vkt>Ee(-Ĝ͚+{8"{tܟU.9V{J9B*X XQCSԹ2M _@_D p/[pcx5H(9}sFAѡtү%mv$2ۀӖRlr\l1&hl[jPK0;j,xr:Tk҉b{S҉oo΃͝MWr?eJddM0k$$TS|.M+jdor'@Q}ӊ;|ϱX XZQ+VUw8(tK|zC裶`;U XL#fWQCCH]ilJ5nd/|y7,O!A0q&ib@442FBĆc_t4*3 f!2*!vȡ85)o̢iC\/4=Xk{z{4(!޽HNVw&+P/uZOջoV`PပPPR>*/qGhA+ u@f T] 7ew5n!v5X."(Q/6X~=eq0GvL!slJ꣕ob7%ҩ 1۰,dFS-?*b_5I1j" 0BrajBHi3IH_*uPp ?2_-<ԥ+ڹÏ5;L>5׬}Iʖ|Ct{` =­~O,V zˀ"Z$wz9%ϵ5JIBT昹p}p&iO0BBUGIM ԖĴϤ>ѣ`yɧ4e@iAKzvR6n'{gU;G7=H;]lZ-g`L X xpw0K|(_m[Yu$>q΍[g痄kƸmn1b( / LE@heo!B徼jիL{AR"E n*nev?7X8H. gڰ >]8cpc|uTV9$šL>KUqUmɌvml͠k!ȣ p>fY;!zH1 _V'9|5`"'~=$0 :н`ٙ!C՚$p05If9+6R3OU_+|NF1kjb%T.֬$(toѹ1P)(D,p ~߫ت|Gp\0#+]2ӝN]5O '*]a.Pbaa'N3.+fwyGń0utŶ)I'ʆ x-T]yAQOyx` MvOTx3uGg8\7zgɜ~!i?{cc53úrα{k1bZD>_$ #F^@]Z3>n%pcr4l6#[!(dW n">N-˘A֑+^OHS.$۶bɥ{D6w|ġvmSu;2a}- BcGEE  Qr YLEwpj".v@gx޷':ſGcs^lF(/3[7(9N;u E:g>//#ƶđmk\ mBn) &|,cd5hM_@c|} (g•ڝjx‚-?VO[x0İhW+vm#BeW2Fflؽf+n9%TM/22&6QJ^ope3FDZ9\].D8d:'a_m6[3A94^7\:ҭ)p"u.AIBలx"2J-v/M!OsIGtROWٖ&Jy˘ 7 .7=`;5aS_4_T밶^ˇ-~]1<\f0\{i _~+x3F3(2v>gʴ%ڪR +S>x j ε´:ZUK8V)|ӻsɂe1Y:1ӸٓNt:$5)ޘ& uF<.(j;6^!S.x<[!S<ц \ <1pRUdjyqTY͠8Hi}A,t骁KtB~~vĠ FlY fiXCdM(Iw.oȀ. X^7QHe6o-!\ƺ/e~W#+vCޤ<