SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 [+t / Paraconsistency:threads=2elapsed=156.115cpu=302.120gc=3.200factor=1.947zXZִF! ;q]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͋5 jz{OhxH 7W/kRY.tx3A[‚ 1?[X|lghR~&}>yN]vV^Ζ`KQ󵕷Ś+#NC^Ixv׉1K*٣^gX06\`V!(njSL}Ud#{VِP&!~6.G1 'V ĥP͑maKzDZq>O{Z'nΣZ)3CSy_ Dos] բVaY -~`-̟ Gh4Ao_% 0qT@d5OLԼIQW;hRw_4 ^wx͉ *^X+]9(Kg"젫q\ܛMg.@s29n~w$&rOa)cP~:וL8JV/&JՀ0uceXdYdܫ + ParaconsistencyCc5ӾX-NZ _CiN ,b7o*o(%Z^oQXN@%g,8*O$l`?N+"0ľR iShkusћK;O\ ]tFuuQPf!K^/vzh⛐ab~!a*gA鳷kbM<&ҧٖ_!ȫZ̲ ^\3\~ljitИrOJ.=GءLbٓM٘d*#YcvIų# F}b91~|H-et$owݽh)tbmrk̡ fK㕮|@,ODE3|L/t2/nc6$\T > Q* :Ԅ+Y!1}:MpA5@3@hrPd; XhVffw MhR0,"BSF K wGgYZ7zXZִF! ]ŗXi%Bׄ-wYB)1M^%OkˍfZlX'tdgt6f$Z 2ru }&Rh@81>C\Nn]@|ai=@әĠLB3Jx̧{]gS RCwߴ8Cٺ&aMh_X RTPKv xfOy ]_B%7E\vp*w P+Grmu\x6G;tСq رMZ o+[p8OwA,((,]Vc4p``,N@-qo$"_D>2Q&7T( ;ߡq%EZ63DX7VS,EPғn^IEiAswA"f?p$xIPImSyuMI&5R0{؉T6u62ŕTT%>@9Tq=*3Dܛ%;Ak<VPR:ش_s*.F!eb[vfxR%e1u="IO`~njr<݈IG@Q9B*ᅨAj H6I,~x2Cn]P,J=5/,D&ihOJnPsu+# |8Vl{f9D.#,A-Ojhf*_w“@j$OZ=i$)X.nTIéuƉnfߕAgW/%R6~jaڷd(s\H6l$ ?i_>nM>9Py>-w)ʧ&|QT` 3WP铺Y.v<ړs58w J:a ǨRj{945gQ@zY1e 3Sq(ǘ !VsW0e景 @6ό5W^h,Q2}&yԷm({* SW4rs \nRh?.I3蒈f:ra Y Ff]HH(<LڸaVNީfhshQlMPh$G΂) `}wtJ0?C}/X ,cBIQꃥ$3.GSpjW~; | v+14^VgڻJ 2)!j7S*pTbbt !ous :\NO5B+YĴtl}trpxt\AxxkcV}D ɁE8V|MPyK~^M({靪gW*86|h.al/D)xIkH(f='`WqBMI[= ёw) :T L4XDiL2{=8aAf=:'_)➡_WsOqGCmb&8JhkWuLu@tԷB=tF?ZۓfCYι|!V$0Bt:m9՗AQ뻠vO3hVK~MiP^7H!nH-gmw"nX9~"8a (|5'^<º:V6'2xX˦]#w1q\6)OIg]}|Ѿ[Be6]}G7SP TJS'47/UėZՉ`| XuO- .e: >76 ^-uF1(ƺ=v)W6^@{6< Ք^D$mr.E8s=˭؞z$uhLYܗe[7su&3 SODbء#a77|d,EÚS8skYIdqX=PxCʡ)?fs3 COʩn*DRf3k[va zd}ӵ o& ͔hVhPywj\yel),mH`ʪ&ߦԴYkI=)$z&GэcHb:gh[FPF@[]{`$H?g2(xGx{}m0] ̷[V#l9}^1 ;5Y).|Wۚ-Da~KɢzrclAfgw/sf7#hvgNauV(,vtGy\ Tj73W|La'Luֶ75k`SO ~ s;nm*O8Wt5.%mx٘, xcJ,}Ow"ȓӡXw$c:`?DW.#xʼnw1Q7*: |RU])k ]Tq.M2aN&b R?DM/z"ve/Fe﬿ҕZ4%KKb8L `KIO*J\2MKGJf liFib/-?A3`?=F.=Yd8l]"pv, J;QM qZ5#-A{\?Qwĭ2+DIa!ueB$rY0U.Ԛn]GdYjR*)O.>n{""X-IhB6.{j˱Kٵ~ŃgBڛp|Y=2S 6V %ߪuǜiR,?sMb~=9arYWFXyʺKBڻih|@馱P ?20 ړ^7f ]]p_FZ0ԥ]-yVOp4)O7"tNj"|oK.g >dyN1ۋVۂ~"?lkR!h Sa!!*bG_sBgӀ5h{* EB>d?Y !͏4aMzq{(]|AU,q5mSySǚ8a-|}JE?g{9PQ+ J: "\We O` \(gf")A)~,>m!ؙ^{Ȩh; Ä;~}a既Z$ЊLQn.GMYRZ/UZSr&/"!⎘rj/"1N>8ڜP*G<Q=uQxҳ,ל?N_"C:D$@Oĭ`ȾIΎԶzؠ1Ys,S|c^hc᠅%\,*%P9Ȏī40.4Lw<{E(3Fg ~6Gaٺ~48ÏZs/Y( Zܽ'#}dI_%:9FlG%.~`v䌁_~]YZaCX_y'U\~rLJݚlx8/Ȍi 7`]v_)ҍb%E84,@߉&7'۞-2 b)e>frCƒFFɠ#eeR9)P>alXff;?XmkH j G!{Ҷ\sHUIM3SGB>WJ"ng~BߝR|ޡBzk sAj-=hHp''MvZ4p:akar/[>8E[/vj9?vq<\W}bm񀟹`u[yQȟ9,BlZ~xdP/VARq|w]g1@n(@a6D`f 7*ԧ.U/2-j]X{>f }B,}A-[ׇάh ?24j G]4;>=#Pz޴ R`m`<`tˍ#ףKQbjtfAmLG֩c#۸VnkqxZ@.H:ț| 017=@ pǂ /4 LQpwDQ}q +>Ec6")˥QO\yt|8YC*ֽR<X"J~.R-4b Zr?߹VI \, fb!I#@xj 981Uo]NޮGU~7q~KF&oSwc .n(9\ȸQ]:nd7gno˱lɶ>C:jptP6XAyQr9qQMbJޕ)sp3sUVW ND46jQ`5?B:av{t5#}F*&[]&ȟhulR%x<9sdeG;20~)3u)~eOW i}ix A9D{nGs7SogtË́J/FDZ[+P":Cl'׫ {5i U֯fvt%j_h{PdEj:˝. $j^duSvFr| 7Cn+=#+wpZHd3~]Ux72V4/*kkHiP70o-