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 JJ +T / Paraconsistency:threads=2elapsed=175.326cpu=342.272gc=3.672factor=1.957zXZִF! =hz]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͋#<֧]vpf(U̬OT%U:T *x<:X^Krg4(H>Ae!XnMT:TU8^Y9ZުVPJa 6v)s<9UY<2zg%t!m{W *A7LAY̌.JHuL5 /w}1yUq + ParaconsistencyOE8{Ncu0=,6dS""/%bT˼)ҏ-#ڌy*IDފ{IBzp^M;lھd#;zmNKr--L"MO'd=R{fNXW2$Wc^rUCh7+,Zwŋm.V9ݳ_2ҋ_X gXߛ=x=s?.UX`_ i<,tJfX2G./mW.׵.Ù3]!)c~oɔZI|_`3,32:eދaI >ݭ,4WawTn#.~3A_X<Ù0F{k`fUv9L FƯC즛 JF+a4*_c+.ޚ3PAM$]iu:r>~2830:Or[%ax‚%_Ɖ2)I[QϚ 2dk(N3i]c]ފ!;r䷣0\6$ؿQٔ8hfԺEm!1"HMZXk Q*f$ql Ma#+_ip!/##`5qQ*W~Siif.FL64~! ʝ݉xyz7kWR 5w} QqRcdݬ+3hr @T)jaIXՉY v J*-vA.bj${hҊ0+51')xȄӌi7VaX& .J.C Wz|¾~kczwܩ84j@3:Ge&?~:tNI7@/zu<;ek}.o-\~дߏ!I )*@SpcY#5˭CEo۠mCVN 6[;w_h7G= JnF It?,E7=LԻ\};U6zjknkWukhCZx8WyOV:Mnٰb̞Iն Cҩ:Gr]^'kf6mlފBw~ sNy<) lKv&TlB#S 5_wEw4y%ZP{ѾXX&sch26msG%tuE;>F"(# !$ #tgqÎTd'Tg+GϋI2[:N-Dvz:J=SP?I֞űY+a_3Q?աoi??Aǹ;zZP\+m|QKF!Άs-Hts!^#-JaX VA8Rxu]qaӣ`ezL˾y`>5w%_pD?h?|* #"5pia1 7L T#hY'!C)LcJ9ҥ6X$|1`PFW~Xkgtuؓw$#;B T1Wbh[p JhC)ZҊ`HYr0b63{܊D.19L/% 2h"2*0tD[8\-M'׬(O8AbQ'jxFx5V1$"~E4[wZo L|[m P__KWDǝ?zZa);%wk>]ˑ5qOEyQB~@S''W):hKE3](d/k2ɌK TD+ *X]fq-nm!á0OC&ɛVq?# 8pD (Gc#։jdtLo<,|$M@"ӮР yF0Cou{h:FuQW}F6E|^zLڏ`cP{5 U\"U{5+n,Zc \Yީ @mրʇYc-QQ|+ǿ .Gu 6嬢GUSM\r˾XX6;B5@)(W=NlCgcUף$jrRF}fqÁ)7Ne%)I)SMd{3_0K Y٬C#A VŠ"7njS|k>a4vHn[5~r3D/AS$y1E[[ң8o 1oGE l2uI\ 5Oډ1o'cE]k]%PFt&wfuWLhČ|/f7#P&otVRroQ+~XVUQGu*Š*C~Lx~gZʟP{wB꥓`(– ^`FaUܕ.D@pt̾4|U ~ b%+<] P(#Q2nNayބlHl[1?l„!`(U #3CtMztJ;$.67'=?E,SϷx`.Q`uFTJnǠL||݅ AHߍ*|Z,WdL{sq|ۘ4%esAYŧ7jm'. Z_i"˲=*|6aW}AOrg_nLӍZ; qWNV5(fW3>nR|n\P*gvEM4VzhViHL*R',v6mY<%f|gr^c8raYmP7s_5L0IBZƹ,{|PM(Ds?Xu4}3w!\ҩ-Lo[=yO{͢T\wQu8 {6Y> "]+k踹{Sd>0*+|+F2Zez*.R;]-$UXbӓT.E>nuqUrQ;%~~MgL;[8</6fO5WC, |>0z>ud|-%l;(a6p"*z0,AܕshC3?rfr"zxcԹ74LD/Z;\ۜyoN:蟓< {η/3UE ާ$^?&h`^_" {noףKv-T,K/۶:v|g+ܐӥ_"Μx dweA>-<8$Ie' fϐ>ı|,%f, 5"wI ë8Q54Jb{%@1r괙]KkEm ]j-Aa>Z^mY4+}(f2r ۂVKh<V+oXjcqY./fHuW-Au 236DOѹQas2ֻ[vOͱ97x0 ]Q$k]k 'KVx Fʁf65Z =`š/ ua/JWױ8]CfFSK! 9oGbμ6#ԼtLɷ iB3- D|3儵 &{GB"5nbגKg\ov.<ts<3{dm^Y[o:\ :K]B& 8q"?+)c9ՖsGg97+a:d4w Rv?Ud930R2K.&eJQ09lJFK*% ޸ A0ԕc [kwoOi[[@߼mZ1'մ%a憐d*8uV2Pp|OVھ}S\ 9t9 X'a0Ag!^4,Z֐8pK[*B U:L_o1-KǦm+[1 -w<w YdZݞ^LiΙ9]*Bx{KbvZ_kmGSwhCm'*WWxQs?jw Bi Bg4h31nv 5 tG_ݟJSB:qp8U2c4؋B (.K~h$e?\!-.DrH&e`g[ 'aH<-Q3$i}'&Ja%i)Hנoai58u=G"bk^s@G1npXe;r + qj"s3{i"0褋w;n <]Z#ri.dԝ’yTnnGSM[C3)4Em6i}|*`yȔ\sd_6+B%&JTo8D!B@`jTKvB&4oRoc8Q_=T:+3t@?a8YU6̒7]WMOxSf}GƔ:O 8R/ I"XFчO6y\1PU ڣpXrfV3"-[U4E -UD8ը_&PuU"zTwV$?+զԅz' ;h9G&@VDlȯ}Nc9&8*AhTӺF | ߁ QfAe ]`_oh[8pR4@wпjzE /}׸oFtٴ,$svù;&+"+/ )&E,!(-I@cW@fBxPF[a HPqd%Lg=~J&AIPH;FmtbLopƢ+(fC%b^Zg ¼VryS8@fzQ@t[Щv߱]]QGk y7/I1WV˅.KϾH|EɐH1Z!(BFU}|T>ҍcF"DO@%޸r~ǎ VQmS1G5LB r,>;Z {r,}ÞQIC |=(KA 42)gKLWsr$-g 1Ȫ#'`Tex*Y&; A9>2;0-u@ JF<%9ea*GS>HxY3KP>Lƹ)?TFUYt~YY>V!] (1X}Ike+ B#{pWnQIFkgiMt6mmJnorwn*?y;!gӿf>rbualp&KHVYf0%`+¿U{ωmܰw~ ID^9$ӕy"](0yOk,mr#xgHL2"U7;^)<՚)1^lu"@PS['j4 ;. wVxGb/lKq_YiTLf;QZ@()^ug䝠Oy3Ԯ{2񅋮M98/(-2g]!ᰳ_f>Nzex~6&aТ4~}!40Ȗh ej t.gYZ3ccae0218d69e003da4c5a0348389b45fc613ead 4c4c65b8ff2d44a925d7e35d9ae5ca2b30c261b8 ee917ddbeef1eaf59aaef5072e5b4e5081bc965c70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9