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=148.375cpu=287.060gc=3.360factor=1.937zXZִF! :2!]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͋5:Vce 颪"{򡰘It(ҸT?%dY.a/(Zq!(@r*S`HܖJe + Paraconsistencyu?BƵz\FH:,*r:cɰ[w&&>єE#r${AAV w*oObd%#荍B<'q{!@5QMf)dv2 P]9EH !*S~neK؞veK#I'!ICa;?C\ Escjڲ'w93#.];ZW\@Mg( ;riלrV}z_=oybyD#1*vWǒ@yAr@Ҋ>Փ?pZ#M IbZh*JjE A*ݨtVnˬoxF,\@-hB a cq}7];6n$րv {K 3遅q U\λjR@s1pTCL{VU]!8g W&0Yo>UbeVI Q6dƚ!D^4C"B_#rH]v(1(jx="՞tp PyXݵL _1n3LY^JR+ù('_hZW2zkd[b :RȖqčhk. )?/ iN\+#́0߁Ͱ`R; %x6HTl> ids4xX1}&0ތ!~_i%Ư"_;{K.0ٝҙI {`3Twag@Q/=OtON gYZ7zXZִF! K]ŗXi%HUVT3і <n,E{?Ox6sRcjrG"~'`B ӄoGLqLɄZ@-HE"jU=Ԫr:}}.9|vu# lw{eDr#nVJ$3+!) p5u"3L +?u,ʖ|c~ík.:&[pW\;廏p Y*o<_2vBb1kr@3 JDu.$"oOz'-LQ609[o?S^!Rn(Ž:'k|D}4Gn6cJ<3o F̌IQU-CE2 }PS8+ZOz&hRM$4֘ȇ4BtQFn6K?,mm&/ A\b_6_Loga ($g62@*sNTkjz|C_Xa.D Ǿ_G_ ZE/[ZQHZ)%I |U6!n*ݴС/5S!F%ĦaJŁoU O:oF3ʰF,>VJ u!ƺ5FmmD<'GpIi@G78J lM {t:k||5ט+2Q9x^/MN|yBSYq:j>s @/A4*{b2tXw )CG\dZ8,ޑ2#ݨĂOP՗4j\ ف^{byR"ǟ|(5+0CC 0G EDH]7AC`lrװHnV4[&M]i|)eǕ1o}NH7r =N|:څ`McP21?|b$Z!Ϲ)YXaN`5Oj7Q`MK>_d0.|B1fTABԟv3}z-jL6M6 p-ټ7 m/QQ v{''eUlSZ%=e%q}ڲߴ nümSQJ&I:sL|Ӯ( tSΫ#φ?2)3Йf>! )֠i {{[2_CjcP :$-1 XKCs5Pb.)#Qn e_M \ޱ*/^yH8{h`dVbE[SpG3M>ީ s4)GH,\-,bfAE)IyyG"0RĤ7ϛ ٻy2)N+B|/ WS.7=üh]@ǜi5{ătK}Nb@MږM+FL9"Lz f_Gc2XB^l,DXَ45>C`fx(L s2TN]lHdv|aC_\A$79K10 [YijࢯWPn d 0XRx5ziy@ħ8H-m~% D{}̾_dY*+8$i9 Ah49bM1IF! Abmuax{fɈ( nc)X-&39M 켌zy V]?mRJ#eJ$PpYSfY/] pu,#ծ*XL!Y<_yrQ1Zභ+T~Kq  '.Mih |5uF1sG< .qKZeϾa־U"8UcU;3qKbw޷ىs?t<1ad;$IBuQ5}b MN(wc]nOtCsEO3X YЫez94"\>Uīcv Ϸo>C`Mx߁>_ˍ5gW%fLN_+z| )q}+=T[9񰊏PnU ϙJt$Xp w& ya}"”aq]Q7MSD1I s X(¢Rט3QX*`!z&|v3d[óF4q̩bˢ|,Mq |9rgu͢2g߽=?+0$sP;'}?փ3_ߦmjc*QΎN q>|9Q[/q3ף8}~`NSQڕ EĈflkp!t>)X;6a2Vo3.Plp!Kᩙ0\5*2}.?C}2IܳpD4\L'13EvBkw'Z֡ÔIУhٿ8\) \]_ dBmm:(WY5"y=9́OIi?Q1δ2Y^0b"Z&Phy}Qmd)C_C<j&U^ʵ&/; *b2{데e09X&0#d 7`egemHO>S@jj7>E,PpL# ӄ@7_tWLD*ErPx+̧Azֻ|4- 2[, ]7#,Nn!//͕y@|RP:b4!T^-4& uTZnS@Ee+)j7jG+<ȸm_afJ ԋLC0Xoeyss7Ռԏ]z5Y 3#wF~123,!c~8d~|& i0sbaa|Yu (j[qtўN4PL(3u7笵H7[:D !qZS[Ny +-ic,',t,m.wgslZ8"~,c>yKfr, BWҠ8J6k5hơS WE?f!pwd-MY4slFNGHpwnk%.T^W1Ye4{Tn6 |'8:3nqRD| uJ+fߺK3EB/ Th\о,@ V:Bڢ=E/fRCb sX xX,7߈c*70X125sN+l{S ْ eyz4g jiDaȺm?yMn1 -Tv !K5^%MUkTBu:F1]Bη_1E k| &TfU>Xc_LQ׏ x9O v"׌PƐp{ [W"8٣~ϟ&adY#O{`o lH ‚%LgR lz=Ҁy-ŽQOpHep1O.FN*|NڈV E\PbJ Jƪ^wg_xϝNJ~|roK3~ \ϭDb9j(z件weUB~M 5þQ.Kx}SH&rK^<l:P/qL]0͎{ t @O~e^a"|cvncQ1A޹M!G@ XTEt%1+3zd`Pa@g΅% Ytt %e68 dZq3,DjV7_k$DМ~7z9Sz%vvpHCKOD5uj(toUFexAiټ~W5(t]KClzdyg,SCn:F$.++=xצ!Dj-}BQ[ +5!c™6.>_Qyܦ^qJd%LD}&sD7g²"6X7f9#^}o=elUCKI%]r Lg|J 6B0 F+`(Ob{'k 1*_ Q!e6m9ܰ 4<3Y2@k֐B]#@1~0v jI[M&_/4عBՉ^Zw)@RP-2q|V.2a\P FE0ڡxz DdݯրN탩z&0~s%T3s QҡX3uػ m0ߏ?+e#VߒX^P'1;7g@cOf[rvR¥H/~1sTK|I'YgwD6 Sc[En̨WÚH@1($8DN!iq2s^9MK9B&+bqX~xB.AO,^$'#/@Lw̤J 8\;y¢̜U`D6 mngYZ3ccae0218d69e003da4c5a0348389b45fc613ead 4c4c65b8ff2d44a925d7e35d9ae5ca2b30c261b8 ee917ddbeef1eaf59aaef5072e5b4e5081bc965c8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07