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 mm%D44 ] UPF_Firewall:threads=4elapsed=87.519cpu=238.100gc=9.432factor=2.727zXZִF! ]ŗXf[&Rh,G4"ŐUKG, <{}wt-A3ma;p@/J5m8ovu7>#ՔyS{cدTȈīyJAǜ$=y h|EQ2J.ެCɑxqWnnY_d;9 S̰@K gqLJ-b6Y~l-9Fw-܋i|R# Mѯ$PĨr:>, |XUd$I5t7.g> Csܓ@Oa/]TdTE0mWEcf cѰ>WkwGV`K@7&FR+D١WkG붤@EhDxC7"`"2i򌥃 Wynba1iiGsGs/lkfp58AYHH *s( 72IJ9\l๸'U_7d_У<^ƾ3(10[Ϸ\w6ߨLs`8}]b. _qy\ꈌ:H>aח+Ӻ+ȿH=8,h8j9L=9.ŋ-FiWeHn] m}O%_z2Fkz91>{$Lqb$})^>/#wqKP+3ʪ U@hҜ3ȏnxvz9_Ƞ=*koLlCOƊ-2Xaߍ(X#XO'~oxňAɫׯv1.gu>s{g/VCc׫+~y,ɪxOVjx!|~EYT1nu6* 5C1c Q.y wbƉ70vR7-' ! aw+ Fv~ח7oS lvJ^wYCf E80:2ӡ2^ZoȎNZ%Bp&x1`p>ΐ[~rzXdIù-B򃯒Zea7 pv>2ڬ/g5U/Rх')*kk2ᓳo gYvfi, #-X!a7~%O(`OQTrܣJ[U< C:}{$k6Ӹ՚~?"[@=۩ {ËUp9i ϟ9Tc#`U1pM۶>9p,ufrKGL؋RRf&lߎ1q9'@Y tV}ؕbOp*E$c h׎qB8oR] ',>=k!7i*Bji9\C\FPFd-g蒸l'V}?Ѐ|"b1]CD}ߕj%ߵ ֶajE[=Ug3`)T xhi唗;| CjOwq̛:˻w3MВ-: Qh,mcåt\(ȳwsQ+ Fs?_=(96z5"DB4Lµr6vH5`ۯzůW&ؙ*?~܃=;˞8FwDD2%!oZnl kE5O1O<`7bd<伝BbسמX[9HzތJs:xX;pC: ڎfVkU_ےW+sOfN͒{10J DnΆgf傫Iᄗriᜠ:tk2ͻI`=.`P퀆HOH(f.ʪ(v.kj]+yi{8Yz\?heјV]ɶuD :[D᪗ $(tppՏ0~(pdᔫ%ald( AG' _z˄I eE8OO@`^?2r=M/ |Y¤'*ΑA[Z~W43]n6K0y* 2ٯJI9C mBL  :l6#yE+&/[mya+ 9?IKsr+wcSa.-] 76:C8< Ă$WջD</ (ٳ݁)$(!!q'*VeOc+0y2:a4/+ R&WXKv:\U(P&*YީI/AgYZ7zXZִF! % UPF_Firewall   Q]ŗXiɟܤ#ʁ<'\=ʀ0tf`׈UX1[s b .A+<@vH22 Ov2fE5 44:RV8 N@fVlzngT >+I8W ݺ 5w15a&A" k Y͈rbyW޲~ա*! y8IndɍjY4kl>nR4;׃M*uD=2ekd"|HU/⊛Q)B_2ٍ^,ViTk%Kru' ( 60}Qgg9ŚaFp̯h|9;DNh<%\'z+ qE0@,CiO/<WԓwѲ&H JM VqqSﵢPYQx|</'a6YFa-ey.fPl1?ɖK} œqiKÆ%NZ;GQ_+ YT,ZWWs@=M3e#_%R < EXy)T 85}<ň{ѳR;48ϮX ]~GM N|aR00&AYT?D R|.ZPwco%"$KWРMksz;aB_P`>KOE<`*NӳGAHhtyGnE㵏x9| CiLV-Hs6fZm?HvJ #7(8~zhIeb^qt}+~>aaJ E  ܇IoGO*5Ջ9.F=rM&UijP2 o9aQI!Κ-/NŴ,fDc]K"hɃ47zƁN'7)dDNP avV7yY=ˑ,bJ_Bgsp+uGTg 1u)'Fd=$go՛I;e"s(Qhh $fK`b^%YER gK,! ;+t N9ե"D4I TdP$ZXD@|ygiz 3WuJӃƟ[}F]Ks#%jƇ)EenAk&__ E(Y1.;ᢌbj|4~'&r lӑطȫT91j6R叄:fτ0TژPWD?p}{D qu;;,s;#lXU=v'k_ۯp]D:ȱ)j <*,yv6ۮljB8(JEg [ >=Q]Fg@XIJ:4BzEYef.1qU< FڝG[u!^|6 =D[͵ $8A\@;o0[:\ٝ9S^Mä5KVKb" )a:]^Hc# n nr eZxMg)U7JE}CsP&6_oK/ßf-ێFFѸlaZ.f2$X5G`EQ‚S5룣fc5V̾ )/B} QB3MtY6z!~w>$g 8(RwƖ%sƔc2`դ1Tޯa'VV%Ij;թ:?Tn@/6g jvzQdؼP>,sh'8΃5}'+Ap sX|>Tn%MHm=t\SXbI'Ń\g?)Ikcv^x'f^lB WjMjhbc}/P2h^_w51o\`U )f'Sq>*Ȳ tXE&ej[2֞vNS}&bҲǟQ]ň<^-$ ۚ@=`]ov N8'.􀶷2#,qxj Q`,VyCfʼfqɃP A}vڹ}9A<|r^YM?7/K4$>aT':ɩřڜN?ȿ"$滔:9KHR_T&ERM \VW)ufYg,ӂYwhB0 Ri4>As5ُ4N:7hlִd%1lǢu%YTQ>G?(AaS%'!+oi27 #Lad 2"!x[Iܹ( M<`OcͭuJÊȊ.\iAQ{-h$*:A̎zX7HwQhM̽Y b6ǁ2 /4f&HH)N@3,`bK8D`AOG.j; 2j_kڞoP>Y?&w3uǐ|"8l $93<@xޭ щȶb]Go1zAXLG70MmJn2y?vI'ҸuWp…N=x36aXϲp r;3PEu~T:6Ic=Fڧ ]t_B H:zߑ̭$ ೿-;j!}5FzTj?ޭ]n(Rݔz+8)臡ɮB5ߚ W.,klxM\FNGï/щuh,wA>O@56_|ŤZ3t]Gps'17Ou7')}:v׉C_3i*l"iI/)J_1_M[:|tS-ؑ0{E^5Gq2);z"y\ak8Wp,ĐKώ`k#{&'"_*˲}l`Uɚko(Up~"俠Qw7 _9wܭ;N ɽo@"+gW\@ Eo*P|zNfn XU]^߮${jq{K.m@<ːvQj%_>ݘqr{֊dZ%z]*-rakT9z=dERPV18Z\It! 9"S<~%ca{CKkyY[vF\'ϚEkp񠟛T\◊); Mǣ:eƞ­ >p57FJ< /хGNCWZ @r^fA FV ' {hl&Yh1Y~X=zwt?Ia*NO?Vg05\!8F*\%"44rĮP%E+Z}ön􋙺D=~It8]@WJw@. PT]8=L6L+%^~őƾA@!O,$%]ԺNr/Accp [@j 5(Gnaz6G'1ڊ2@G֊7b$IMg2}֧DAɋs`3_`,s!fQ!&Ԡ1ٯYmaL[`S⊸=ہ iuh5dnhLf|V ~&vfsƶ^ P_UДxƎEsWOOU<r~aXԾ%cѣM!_X[ 4oo<#`rڀAt ֗wmHfw?D3!炮WƤ cm|3 kAD^>ayP[Z+^3:q\ W!WZG ҳ^Φ Llq@ݏE5OW_$og`ۣ࡜ InrRonN| uZ*_;E|?T=X|vq¦?w YзWr`^YiEsBt#rAq^IUЯ8ԕ*V5^{O)zչ\魞[:l( h;\>Fp(58ąQd7gjƤ>CAg'!0gʮMC))^?ǫu0jt_ilީc4pS8)K/4N̆-&8Nն x KUR QgNjU7l쥋 P~񚉟Ϝ,Z9_MxUZXFpX F$#Ya!UFN.>Sǯ^;=q$w#ne$cTCz妊vSZ$b`IlӇGc%*Mb`E/V8 [Y.#Ln\ze1)fg~=B ᮺ/0j[tju{`Ȁ\FS#J] YzxI o)]>/0cɄd1Ξ ctfڗs4='J-y^<<@TaF]?j8Nnpt˞B ?V|E11T䐄\ }Ik59%9 R ]G'SZ`H! ]UǸ1KEU.v_B`Zu􉴗%N gEq^DMRP.Am5=aPhESM My`0n0W/7 H_|c`07>-$KM2qfM?t3`C٥K(PoU-+͌ܧ Z$@!9dFc/cT4 n䙩$I?»E#