SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  K+<4 ]/ Paraconsistency:threads=2elapsed=167.090cpu=327.380gc=4.292factor=1.967zXZִF! ]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>V9K7- <\Ddݳ> N 愂nr 1P ,MOqXPh6KvV(?i:)--a1GT?F4vW?T"Gu;#RX sr@`т%~!\jݎO&5PQ"䄔X6K I 2⹻J$>:T$z[.Z96;VTT^Qg=_dw E3.<.P̴x>BEf0bk`̖և1|Y5eKw.mʳ 1dD57?ƽDU }>JM{mU23-y/ĆWS7uL5Ϳm'2fNi)2lԋ+;  + Paraconsistency   d}riLoʜEӿD^KndY{6JQ0bٻb*RP*[/>egYZ7zXZִF! SF]ŗXiɟv )z;N$|Aa# RRcܾ1۬E`y+(hHMtatbT)K}YZ7zXZִF! 07T]ŗXi%>geiЬH%UgS4Fy%ɳ͡^}9DRSúeu4o,y#.CuPY`^PV6q {+;0GHzj*}'>^$*ơ6HBc۫[$5{KXRoKcɧ9٪nλ=Љ*[#zӏj`(ֺC7A{9Ҡ{?Tя1=b*Zz#^{)"}jPҎl##ui[Y$㯀7DwPae^+^22y6&->MjB(PS'C\YO&4 HQ%rio[ֱJmTL̈;1G {~I9`83>LnPT< /Wx4TQ;Q%MdJ.͉ /Mͦg=񴏅#<ٳbY _ )"Lpć(3=v5HBwG8-ھM*.##]g&jO+N 0}}ir߁ nUtpgcѰ~u<j*ٴ*:EքP~8(674"6&o-#C˶X9 (bjNs620tEƢXs07 1KM !/1#ól’ygrbޞd 弐+ɉC,I?e%GcB 5ʼ? UpZUC$q__į`]fk+hHYjHs.lAk6Zl a^kׇ> RdI+#i+pMjPBh8-^eɔXͿcVă־83d/# ٞ˂tZN m"}oݒuܬu&-P XoaM0h+ EPY.5򙘯M nU0a*Jy֗ Za6G/'?`dDk39Ǽ'&JUکNd,kfzrX ]'P1wsBr "04P̢!H?vJ\/oԚ:4̇mhY D! Ȥzctc^kJ2Qia6X *.$0ښުϢXnKe_V Tc4PLSb W]qT>Y}륝ˡtai7S;Jte%+WMB8ِ"fieI֍UDa/B2W۴<ֻ}liXzЖu5 _x!7v3\eްlAuK^E7=Yw(7ݥŭ[V~hf{#p X,Z3PSayE`2Ȋ(ҽXlW sGk[*ԞO~Nvv |\İ{Q=,e}-O!at5Ț}xHp2jOt(2}Q2;M9"k"|Y7^viOClBI!7!$`lG~ r0tUWS,xD?p5vr5?{ |<̜pX.и:eAs^OCb.ث"ӛ˻p3ό]f;Qi0HB6ϳbjŞ*te/YJ _*Y*F0SB-)Wix:5-Y"d7K#d.3Ej'W>iG,b/I4wįxz i\%-޾5"M[0 UMDE4Ӟx^Bfu, 7H61?MjK($*9ks]0Zȕ7vW19k%Qj-˵VÄSyˠfT#$.F4Y T`u)3FA}JճV<x_EqI]Ϛ Ƣ/5GKTs|LJޤx,1s^^-~ _^pSŔ6u+!zX!?2?cpFzJLYPs) aN H+#J;6#"\U ƙrd$`̸ jvZsa}XHb"e~2M1,;GW1`=R;=lP%VqbsW-ϴud0=ʅFp;a@bYv1 ^UT' D@OK>urG(Z=Q')vjlĊ(G]!Djeڌ  m=#n #HgKhD,kbCUfp>,n3g|nPwɼ0|H~\魑L (lZw:Ap{8$"6,s iݿ'uJym&m ]P?5lyDÛhی9d?ux tN9B7W1y~Qj k]y"רU蓮b)=/ :K\s5pދ,4VK:%8P6<᷂TzR 'X? T@X`@Xe@gcV$ed<.s T޾%" i4. Ԩ:GuB .z[/_RA!D#lD݈,˖yeU H& פ:lkra'hR6U6tq$I7?k>P] dE\ bv2~o`9yf:)^E`@RO}vTg(LbbBuxZ' f۝[ ]bkAu,sLۍ4ԃաڶ#(1c}9\rj(ҽ[\zSd|^2UÁ7[+$3JIfrz[m|q"H2A.\K@f_RdC;^9"4ӿ? bމ.5V(aKb+`bۉcJ[÷ >5x汵(!-՜kE!#&B Hx6H Ľ=ރأgH;v)B3̺_igZmcF!>q\ )>1Zː.VUuje2 i*3{m91Am2)"5-?!V bșНI9#*2ScmzTTmDW` -GfHPKYʉ7$e/ ia+$ouQ5nQ= J'<6:W? t;V1ktc獾ٺ; KnƁx8`OKd/prU+HLotӤr cB^ݽl4gHUH<8o6ZB{P8-,=?NِEEkd@&FJ+NRoZ"yqfGȊ|2;ԺIy=Y_צ6ȥEqHCZ#ٺ)<YS)m7 rKd'.9im4"ƒU(*o.*lǿEVB#iOotĠmDH&[lD,.PsfQ- o($k낔-nu+!8B#7L:} w:ኀ ?J|\Gys$mCpUvq-bD[Y"iצ!d2 lƥpJ6 w#D@ eWVy&&%^WY`[~&48ց VQt$&Gl`L uIM%Pcٶӟ`0 IVA1vS30'ްx+$oU`v! F')HL4e%cCWqVf?L/*wrb3:kWZ`n~WYA79 [j:O8I kN 42q7hC[G#PU 5ƣL 1GwZI!i{["i`Z8F3 $4UN F<,xRR=Qf>l깶m}pݘjz"1cV\'YJ_ ߋ@&!{Y>D)F cڦg:;nDh^DTJ{1N <iK%Fv*%vdN3Ty\SeSVMKH'Ҿդ(< -|S<@©@0n X0!dJsy0PtC֘fvԼ\ah+ 4 CzRxڭqڼz^]rђ+?cA!~HjmaAuV|vu$ JUXEUL9 %hOIs,G"nKc\2~SyH!VtFh3*[0iƗġ ՐaD!5W!";&G/l8/9O^>UEڄݠLh. zn$$4#Ն@eJVN,L9')2 \6 h5WT :8ֳgLlbC*N·3=cP~n0DPlI. 30W"tF]BBHO!r\׋a[Z]wfvwtɚ(U#e\XsiK~Gx5v~_`fYg6DI"ܪ޲w.[p/FU5h2o\:TpcN(Rv8l0a\Q·&RU ,>eYW8K75QR/ֽirM PϴY5X3RնO):}ZLH(8b(,ӋIT"fc% 58xB:z` %%{sfC ƫ5qoa$ St[ ^Uś$:) 6`XAyL_9F4vɂO¨4MEJ^Ֆ]k@mG>" \,BeHcx[ݰ@Gi|Rl<9H?T"VqRc<(Ȯ+/q&/pnH7/ ԉK,ġ4Q1d C&|vrLEbG^س\a-$-]I{X9ZJ$BM>| h~WH#qW;.Cu0|AHn+# 7{1?eX^Tbfţ_)J"߯Ls g}o EwADuǝtqL [F$kABA7?mkwosAjϿIEH_S̅pMic\4}5.#O|2qcF5C'3I]c׫U1̡ߛD >w)pƪ۷^ExE?ut;z)*[d\;,cxwܱҾJp.\ZOt&1v 0" 9Mwk <:F7fy;׹i/;TcZ]n9'@ C 2c\}os$JE]buāʼnqO`i=RD -f695ȿ[njYzz Y Հچe:8l;.YX3ArQMavNM-۷L1q̅i&dLAoUyA H#'PWpv.$}$АhC 0{O]B@ ̑\]}͗Nׇ]uz cM.*=J"l"-JvELg4;T@|f}zDbͨPYWz?]PkuĹinW/Y]8 в V|.-agi4 k"HJmw%鼇ݧ ,_h;S~_{x,ShI al-/dSeG5MtM*-/gp]OR /*fGcO!O+h<Kc.ٽj(ls8wi7Sy1)( _0E"z)YD;۞-P/#s?<A`.jZ)y9GI ]ǃҮ`P;T#8:Κ/L3O@w)eMipn) V#{^U< aogYZa95d703774b1621917481bafd19bf0fbef7ba3d6665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7