SQLite format 3@ . BBh77otableisabelle_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 LL%+l\ ] Stable_Matching:threads=2elapsed=185.396cpu=266.480gc=5.864factor=1.447zXZִF! O0]ŗXf1-/6vR[]eWuO|4JI/A;{ ? pĨf162pFG_xj6Fib\GjyhĭB/HXzrڟq:O6GP!xT >y||=LW܂dQ[1r kkDڻ': B 4ߴf~X' LUTR،]ry|u % D]Z͙vyk yOr}L{Ѭ{\$/K?VPS̀eQ}W$ @Fh/)Ln6S3xV搂;t ePY(*| &ngA]oҙA5@ /+C _s{o-m[8(*iԾu u7 ߯f&9hwM4`|]mlb \P;6\d(kXJEm0TATEVgNZax^Mgmо==wn3= Z8UV.eBXz\CW;ݙ`9Ư-}{HMB'ۆn|dWA}e_D1y5Uq [d^BQ~{&+ޯ >FHx xX/ U=1V"+t4qNHviiuF::{ L4 &4z%.5A'W q-bfE9rb]_AO%@.QO:( fDDž6zW9f5~eF,?`*xtSv%k#u?q*6b1Qw h2Vzc2T2cd m@3̋L<:*}%՚1( lS'Dz</̈́*Xm0gdQ4NG(FVkya 5w#ad̃!Oub-Tip]6T>]-!NQ8S(<RHpKq!ӿx\T&9<-͗ȅ}[BoadS `0asZЈ5` ˞*`0g ־\Kԅ5p`K1pe1EdDŽdgg8SZ$(Szܐ9}$W<gjod)Ե̷XgXZPy"kɒёXkUD:Q~6JG׉~Z/C'*w@>rLH0iMm!m$Iabx[(\SG­ 0-pu\* S?>{|^ ES'ؘČ78uڨ2WJBx_k/SRgYZ7zXZִF! p]ŗXiɟ.և9J?(Ѻ<3~"}=}/å f)m4dڤy{=O\4o_l;. Kc'zLXi\,e_) eY aoz '#yBD\;&gmX $__'Hv?`{ U"'w#+1O{5R$s`z(5:8bgYZ7zXZִF! |]"]ŗXi%92 {s肰"B Prmc 1FϰZUo+;|`tCCcQ|wjޟyJ[?T}5uwψҐ\|6b~}}Zt ?Iaqab_DbP.\Mr,Og58c,gJaƒt:"z/d! |C>gH0!3VOU9 O9@IO">Ym^ c[[hYg*蚷㝸 ~.66yJsDO `TB'ɧyKN֤a2"%}=jqG{4Y qMI:[)WEš,gH!WsHZ̷/m)lhlO]ԷRϰQ0BNo%Ai1lkmގs^lVLT"j|~cOᙚTXNtѳ疻 7?uW~@p^JHWWin@.P{T18cd˚0rea{ȉF;Xq5ǩ&m`!iAl A# g۷UǾ:*A0YO=}>Rz64` qL{wcₔ2B +d+iS7x#PEi*{72Z$ųv˿5EqҎ49!;=ݦm@4D7ub!>;^8wtz];`2(֎nIב3AJYR6T'^0d6ƒ#:*h}/K1$ˁSĆCm[!y]&3}i/kleLA{ƺٍTs?aʄ{JTp…{5rn hItw}"}{8;q5zӜ8֚4r}fO6Fzy7)~κ۴IWLmXU v'E϶ăe%)Agi*cԳmDMqf!{/~ɼa;{ѽB Ŏ m^n.f$jZ@ @$n0`voZ81Lkw7| k7PzcOCLczɇG .h4d#v-x+c>{(>5vǂ?CuHmQX #nW:bM7*Ec|Cwš. lC3 X{-TT(&JKKn1+'͊$wo3CO-BֻcE-{ټ?6H)W+*60=t ) Qr-yOENx" [F~ncv3̺SWg?:&a͡sUv1RKZRx⋳w7ŮkڕhTH/4sܔpl D 4(H](z w=j4ZbYtt1עo#ol6i>?X%u7L IJ[elNxfm޽f1@_C)6՛ gT{e5}u6h±$gW,.!tAjTrw=ePW(€ģfы :m &\=*W_pmq a(1kZXw1M2_$RQ^2Xi&vnBsPNA2˳{faH W /"mM1bDM<9S0  EOۂ )dd ާ:d%aoo}-2a9ZLJ5 Ʒ}4!}DDa{zb-%uE̡]mҡTNj&pVxsyT#8 d|OGI ;V}_qF;Ĥgْ/#h hLلҶĶ P2(hThU2ٰhPB&T  6Y6-~ݯ˓2|Mi5d,SLH[iG9zr{gfYkIyՅɣG୒ƈ7MF{/ o̺Pk?{6LǑ'ʹW&hr*'@d*c_}as< 6Nѱ|UUgRTnwN8K{ݍ<=f| cUTziAiHB ѝBc!4-՜۠R0PD߮A%2)erVRRE22YX1z=|å c,ja1Ā`H: ~"4p|W7gߘ?[Pv88mK(ے̬#9a V +DiɰI HT7 ^ʐrXvcC5fv*Ɗ_JyC(Mb9}a l ̄-]ք_n6^O,>,;l>TwnՂK&*Ȍ^CT"*Đ t{XIF2]P=Oԓx1$f%kNƲ1?d\eV2 0M6$W b'N}UijOJ2E3^zWԂ 0O,/|:o܂"{%ΨGzN;R^-d>Cn[P0J Iw, ޞuO2I5}p*\ةp=~u+KώUR9tLhe+%jʌ +MCJ^%aցyg8nk?1[ g %.*ЏԳ{L6΂[P?]t* (%mmg%wʒh4 |b]s%ЊF}H{KwU TY +-_@oosQa݅ %̭xYCWZB~#ON?27$ oוr0N^5ʸWuh"=U& ;ِH~8OEs D~x."Z}Z,h x3=?ÕTԎvْGSl6 ͳ 7K:A1Ab vr{( dbVPk`G2$X&)nQ@UWԹ$2.ANݼStVԳ>nFhO)R6l܌.:?o"'Iv?};49X6dsA^.UADʇm=@BqkWKGUH@,G+I*;XHvD|Ѵ!?~BcR58&y&{cKP$/&PH;3A%xrsq d#ƽywlA3+]\k~Tnšh:15pm bq1$ڸT$|)Mwpůk}&躡eS{ A^dճc%+ 4ׁa]l-c&4}:Ř&|HTtB${Z۞\ٿз^kHRO/6PC<)77AŦJe#dCS XEqw@.lV⤜@;-&@/*9ϴZAܓR}bW>X5{> ݫ>UIFyʍ )ǝF&j:^^t %ukJ$;ZRNts&Y( N$^]SZ8].4 i[#lXZZ|lZ;K^IpMl௰{ȺBL#j 2Da.5a}'IKNRh3!J:Nf43#0 sWsCM:OCv?ck"O{.giVGB`%yb@+bmԤ3qı42:4dEkLRU4'|Fg8$wGjedyf^.NxbWxA_}fyP bcaSlƂof}\*!!>{% ȉpKFz`mRE{a& p άgd5dٌ8}KIT(ce1gMվ'uSQNC HFAw Z2/^^0PR~wsׅb7?WsöL(BxTAq@1{VY'/)A+׸|ǰ f*U{aƹs4P+Fm7X9]Mx1Frϫs䈙pci..E~7 B,s)~\?cխ$w擲,@} #O=e CpzFDPN'\i0&>q7)f;S;\ 2Ӄ,VMƘEȆG̙w.Uɸ-d3M.]8 $w !TKJաÄO7C#IZ@xA6[6DZttI!B,=wEØXrDBtPX#IG qPt.^!˨L":#av ;8KBtЂ _>9N/f{AJR,mNmMbq+&ðjF}]CM0-O]u;XM^ Fr4^1aU9n …ڛ4=XJ<=!eQ-3!-=E"e"t5cH_!#Ti}J z ~JV$P1bn۠m45u]7@Dˀ{i!y3~9eYŠ6s~dY\.kѲY0y:3pu|h:d54p8(ݝO;a\R1tyxg2V̏b 㜹f@wihWi'9m?{QZf6O*#"y[1RN }L[q[vNe<[$KHQq=}3/3CُUb` &oNe!ް4L߹rp2N-Okz{e2@Ȟ{ [V9J}a:Ar㠴Laٹx\ޖr7_ )V-$`:{$zNVA:8>PST aH`v!{l zXLGjOfN%hYa 6Sh C,yg߲]h,Z6\C474_}&C^js ?B Ҏ{[fVn„oGȸ#g }M tA8߁yɽiNKH j_n:#퀾uwnsQ,u]o>ܒ]햌*:y`Qp't8r C7=hTa QqŠ_)^#(tE̲l `2ro3rsܮ"ֲV |JtK6wو _h@]:[I\멙6KLT*z}&HrJjF\HEen j|pk5gʕn5D&UL -t[`G=CVc~rNS^Dz7!Dxh]t7bpFNmGu&p֑4Ii,kn'[Ϥqִwr:k/oU)GȡdA+*)|%Y o4"#\N)њ MAY]F%Ku Us#tN Jb}ߚ_U@5IcW0=sDk9sWX0Kݐnp[8s]+sk' 9Y_MK?jPck/ˌJ;8Jå5OZgsu;3 g!ljdm`d =[R m#RO Ş  j%Cf wGX*4w|)p1Ra叄jss S( ]Rي- To- dt(Ie=3RՇ]&FPWy{д$ɀyF._ x+|.ЋۇY+Mo:e=Y@aK,P{u޷u {mKɖx<\ $Gٞ :9U}vʝdmAyF3T(UnKFgsjd>]&tN<g{Gy<--:4.6\~d6X#h =uwIU5@^ `|_ׄ , dd$QE agYZb84e7dc4c6f0e20c68c5e55b1ae112f74a7e3b68bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d2