SQLite format 3@ .  YYQ77Atableisabelle_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, "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 X+l / Paraconsistency:threads=2elapsed=158.425cpu=299.344gc=2.788factor=1.897zXZִF! 0]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͊^&6^LJ1Y6s@[ d@Jͱeu*zY-!㙸i8zht#jZ &eU "K$kkOhQs7d~ QF@AFٹG]z=ruQ}6@ӪKZw jX51Z8Nyt0wH)i`\I\h؂EpDL ?]pMRCr˱6oq" kWaş+[[ƥ)bA>G쉌  + Paraconsistencyfx|e#7dV[nRJÝOA]1ȑzEiRܯAj.es%=Ud_%Z <`[J:0[*eTM% 6I2&DudbjtPث*pRq ՠ s1@`Ϙ  AֈZI=Z \:eC[t*3/F(gYZ7zXZִF! W]ŗXi%@Œ*gzFqj*ܫm5ʄzIVZT!rTqA%DU4oR$]ӞQ#sxSIY 6V lS??f탨>_?r؀njU#B4p?yZ"rßIj2>8Y4;O3eM]mmpĉl< DmT_@nƜ) k#nIT xJXNumfʨ=Kc(>4+ЂkWxɈy+ ;trfV:g5H'xTr9f#&#73(ŗzuꩍ|7!Kӣ @a Xv[D[ ($ Ɲ .', yEJy0NtH"ڵ,ʞʌx!yifTYtNX&t.^ڻ,EWA '䙼z!RW1%Vb[F8>擛@tDa)6@ʄ]`z~`QNg-ux 9^gHP z͂7_?D|L zBP _rdޖQqgR:Z\fԀuʓ6V9BH{? 6wyME7f6|SM4LDLZU4@F~cя3ݳ|؟Q#׃)U6cMLG}A1v҇E܅]gYhCa< %lйoˊGESe\(!;Nz6J4(@J9GU7TNgBW LtvQρ -qB(8G=]A:}7^#w$?ф7׮G -wrk;nKGu |q\F7zÉRtGݼTm,%7-&eCp}8 gS޻Zp\7E;S׶lL╈=ٙS'Fk n (rև$s؇U5|OF0`kne2_[1Z}=߬;|O1Jp\ ncz@`h|prPJR_rjbzBu"F&s!eo`}##WPШOhK#[ b`^3ք1:U^~ TiAujL!f?3H͞7&T61y>*AGa_m#zo8Dsrjܦ:h9ǔv@:k{5l^DV*k a23^T\wSmt0jFAolj*A,-ZTR)aAj^E6Yg< Gnu9.3_Lye#f*%sˀ̞\M=Yo@}1e2̴ymBfFD Y 96'JgRb~`,je  6oj2 \_VNDcfWyj{3x7#v~4%pYqn]iJ*,gHD8j4(! +2&wb)6%lӄrձ!9Q0d}A:5]&K=Uґ+D(P)f5/Ynl)WAB;lH2/ܝ!4cDM(i\ J>WNE{ MB@Y X2txk\ +yͧy{^].iG'sEBVuZfO] )` %պК#lyp WHn~VTCuG ۣ֞f(Mά,gn:ľwj5 ٜ+%%!ԔL% 8f=! ZLӮ+s z*͖ )vqHƋS6qm#YՔUcLxղGQ蘻DWq\]ALZ?H=a(CqgtkM5ҧ3c4 ]XP^u 嬼b4zSd4I)b&ׄ)@8+57zi < 4.I$KHZhԋ22M\TN%Ѝ«4)G> "E#㭀 b| _8H2}%fS8fbѾ XW,ہ1 _ڹ!{EcAp=Z%oᢍ?NTJd1ޣ9Y%q6Qy0EWM(32<_FS)5P)pI4ؗM8~@' mLAh)u~jX/1d܆@I: Axavl%Z7FScrBpEb֩\^aq~-|ic<92 4+SRDSmx!b{泘]8gev+uͫ?A(笺( tv^^4<;fE 鴮M.A:|鯵ه)S74x*F@lp52DKIowc YmZ 1-)a'uƗeldy67cGtOn@?X\Z%w {wDW ykR;;|iaxÚ Pj]yz+#^PI_}_@О%NOE^uYv{(DMh-xɂ]m\ϔ`?YT)DA!H؀Pf SeQae^kNm({0w>ʼn{x`xR 2.9Bz>d_S?\ @c0S({윶2o@2)pm̔8`z8Bfm ֿ'ziY펻y8Ni)02!z>=>]j TTQ íRyczsoie̝ LkepM+@6 80͛dTʨkj'%v>N&$Z}ly&Ƅ•QCDS` )};ƍ$# 2cnᳳ.ٸ-~=b/Aw7+9 嶂]m=$Dsd:BVB9FveM#V1|=ZsʧtT)\)$yq!M!^Hl:ڋ>&  ZtDJySLFj}oQ$Jū]DCl"k[&8p¿(!yvYN`r|,[Y PKV؞B/RA#!*nnAٛ& +RpR:*b(!7ӿo!V.fV8{gPp1ӵ/1| /ހ]*j Bo$:K=!`l;V]Gl n~V:o~ei|ʝf%jٹ򲼬G$gHp )|GY8g'a2[Oω~]}[@t P]ղ>=RV2Q\PuG!Q; & |nGP1_+v4bp>>-Zq#N GApC΍'!r ˫i+j+[:] P!WBB<ǐABUۚҤX/c4 >K~rtwHSǍ'_ O-%ÇqY1ou)4I(uj0s.%oQ./24?>vKj^x*vޛDg3: >dS|(ZCT4s&4\-|ӥ}coBu8]~TM U3ƒ\&9f}mٿLZ$HnT 鹑"}ugVu[B|NH/As{[0`7i)OR0`AM 6 6N"Ե!h?Q"@E6E(edW{īrI0: "J>ߟҘ<9ͩ+L%}ؐ`cq!yvc Nia(MP1Ƥ|q1N,ev:()k/kw9WFT[EقzK:蟍C; bPj{#lmklhdJ-9w]2g6p:エҏ$!-x*c1"Q.] bc/gsL\4;}W>iznqQ'%?9(u x<~:"R)Xnq$)9 ZXk J@ ;|XMƕ]?^++EOWD@s w`K$ 1MIͷE/-M${^D{z_Pb'(G/^IatO`ϐ%ӨX2 75waB: '. JRwt6fG+EbR*s([}`CGXnwj\Ĺ<=@M Ao=fzʨE6B:Ρw\`denyʴ=G'N:4 &&|'lwۅvOnnةS{[ezbSq&T~ A9Wo.$+=7~ (I~k0;,2pBoiJ$@̡d"S_pBSᬹ%h艤#ԦPۭamP>U\.!sTI9_z]Sqk1DRS|YRFhG3jrIH%nO$wFr>&Ϸ凟u_ NMDf"*^]&BZ O/*%]k`ȵee0RTm~ S4 (gPյ ]#"e+'U`8[=SN΋"; ]U9L]LCVlcl1oGVo8j߮='XL@oVjDt#9bN 7AFucuYV+K@U!PÚǹ%s yhPutl<[2f3IX +e{ JB!֭IMU!R`wґ@(1g&Ez6ԎDğJvGͱk1OhrF߂0ܺ ;ާ րVtdj [`e,މ̿Ko/cMd#̔%}R$Hص)n~ ,m_([TYifٟ' yE//_46эL>z{>̻!T IV{J{ً67sԛ];9ﮪfߦB86-ɦJikrtbn (b|SYiq~Wam0߿gR9ѯe^/_>b&16 V |lEepjRRlZ_ЅS:frT-zMgR'Sdb<~YoEPјj{Qk0Vp#9P8fTE'P=lBlx*$J 1;F}Be?#%#*@Pv=