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 <+Ll / Paraconsistency:threads=2elapsed=155.464cpu=303.776gc=3.168factor=1.957zXZִF! ~]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>\2Bb8Ӡ{ 2um>yeI13  .{|hX 2dle 69N4@b'-E#EZ}(-ǜq'DKnؿւp߆+5\= fѱZ2v2cL_σ,!q,d] >o|(XD 8DL'cGՑ`4NBͨv̔u7Ȥtȟ6wDm}g m{CJz*5 + ParaconsistencyǍluA!9I [NWm^ <)zjۓpsa\،5 َ, Uh+o撳z^\z*ؤ_ z~u 5vcE`_BoR]o~k6,(2оVvL&.gYZ7zXZִF! Um]ŗXi%6 wMc+%: SC#QqĪ8حQޒXt|pM# mߓ!-%q/b&xǣ]/ [n5e_}+ENJ{EL`_cF>Qf1pvY{BB9jK 8~pJ̰*Phu&*7ܳB|,Cf=V;4MXQ p!ISoۡ46_u߄_jmK)t2(ũbo5].wwc`lzɫz4zyM|2A;c ]43:mŋ%OcJ3*9Jȡ c $rrKm 0BjBz{ͮ;qU7v3z"rn1)4fL\949JK:3 p 5Uq6vmU\⫲!.A([4/pR|*[*t/lKكU ޯ|{0k:}jjWX^ݙiDLYۮ*AIJձ8G*W_ReE/R8֑,՟hzr `D14*k2'21˅ψYg ڨФ ɑ8[k{ 2pʜ;SggZi~o:VB_xL-7| B\h k˫+մnkH MR)YZOO{,S/֤RpJ9p֙^l0[<]^ 3RCn>BZ;sL.Nk[͟eƜql$?7ZxnİzJ32Ҙ"@(kSo-Ll5*S4qRm2\ֽ4kOR0*p6:l'uęE #wm %'J :F|kYQh:yQ`7& }MTeF;dYdt'>DXe_ᶵ2Xah"˂<`#EߧXHSu3ZtTS+kʦJi3@ Va5 +l\}Jө*GI|lpڝ 5F0;lVAo7@5s\;ŠDvuu;FX۲$}6%1ꆧ< #kA]13ZP먕?[K@G;R)0I@ҽ/l.b3"hP&mp3Y`pXNrW QރDK*fHv,%Laq6dj?zա1 ؁oToK*G7]p/a@Wo4CH= V|X4$gKqxk VU0knoh &akENkй}%;1oU:e޶Na9 OQ2,f*b ?\?Ե.83f5x" n|83| '\;08g$* 95 }f}JEI k<&,u}8?n4#dn@)=klY< .H\Jf^WTRhQz" 0@0O^F<!; cg"(B?}/70 _Hctr qx}-@{njw9Ŵ`TBc{ ;MWPվą?N J#9%sG\tyn%60]a7d4#!¬$AsYzV/Gɧ+y7TrJ5*D1S"8'Sk`ʧk/ ͠}ca ݷA!J`Ox^ C>`ғW| % G1 WPm郞y٧ 8% TP u;?aADN9QQLBB 2,d׿+z[+n4Gc4vi8*vT p[i]l? D dr84 lTY .~A7`)c1-Qa@3oUݜ{E`e9O?osz(đ? B:fQ9rh4qi6ATCzf mŒG=]p)Wd˄&  ƍ YH@B" V+|QEzv )+x4WF˃|iycIp`QqI',K*鷉HvuI\[h-u ~5,ܡ13L^#TkO21:D6c9=qL Z=34S}c 9dp BU5\C`aw]̧cYXv8 '#~T,^_աHrA@xps-j:rynq'+ndP9uqna6чObOqǂ<)1ڂNM>ľdqdn|\MCF9BYaћC!Vn۬۾ɐSòq; g$ .6Fq\ K(cPѢMܕ-\ƖɞlV'2+ڙ=6eIJr-1/buYGhr-@_d4ٺL@umZ./g>%ύu Kn*.ME3r&9)O*'%"*Ib;2dyQU2JeedrD[=}\E,8‚P_L o#iN9 .>$k^$VGeǶ,` &ю<.-3A;6f"#?=szqۿSاĪrSU{!{^PmM0Ԥ yګdAlѽ…Ӡ$򺴰 gAk`+cmQ&s<@nͷ*=܅*D w)2”bk cxfר\i^?&QcuNb$mÉlBlm+Z'/B^BQ6ܖ}\J)$c!`ŤdnژCu34@YjXC=2Cn3rOäILp6Qޫʼn<("X-)d1$ay31PiJM/j|Tz"O8۔ٴgHHu2pOZDiLG"}b8/Y9SGΣ@oWm|"ݑq禳^C=}w6FQc92a:owOvNp%C=pZ!DcE&jb>;֎o8p:u:)5T'ɋBlRnF0jԓua9~B?U/C3QV#NCmF/&ܧFa:zb]ʺɤ ,AkJ`/f-)}&'@x\of5e$%{0f#oCsCB%d{* ckYU?%ށ_4F͌Xp l8*gB+|Z>PT2w !N6 ?9Uoy5bQ|RHnWN~bTntJ6)̄[s? _c"Qu#-V?Ei ;AL@!H /`gDh㎙%涰фb pckeBȠ^,so" ]>[E I ݒt-tE vH8cȱ,}PpQ[1{ k9TmyJ ~%hh+oQ45Q7x#YTvҫ^w.h4`m4(w`9 }ڤh _*%DDG7}IvO? ^ pr3G 2\'2hL*_N݆oK>j'V}SYjdZ6*,(T2|׽۲WuD9ߞ..Miz=s"n H:\ ? a>skbt0v⎲eX[[5q춴'Vq[]H2c堃W)ԵMwT3pj4:vv2 HՊT1 l+#W;`6A>~Z`呍{0Iܵv70@7q~1lXn?gL瞏k;߳D>qT 1⣞]5p5. 5 Jit!b9 yޏ)KW\+;.z,G4E!eʄzO|Uu(-b!z\SH]ɜ>QbջjJ(( ?E]G{^1:AGQ0u{٬rǒNsU.Zi6R }C,0\@ øUИjWsP}WVR \}U$qw^ i{sۤ@Q&kBW&sT7s}[w3A~xJ '*ڞn@LL!֔O2l ^#J1c>z2{\`8lx˯h#sjfd7e_͆¿`mukT  _ʽu>,K\"j\ e,t\?>;oF{R6|t^\>׼ 6V\?*&IoU6 zy"'*؝] &aY|A4QK9 F2#gYZ3ccae0218d69e003da4c5a0348389b45fc613ead c0955b1f12490e572e1204930881955e8df5092d ee917ddbeef1eaf59aaef5072e5b4e5081bc965c238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c