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 O+$< / Paraconsistency:threads=2elapsed=171.062cpu=331.112gc=3.596factor=1.947zXZִF! =c]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͊ɚu{fwOY򍥇_nFQ{Kiad(;!ݛP h\~N K.x iQ Jb} ͸#G} DZ9Wo ⵶)NM2B`i%(yO~)\*Liz벃w͖G-| + ParaconsistencyU&['9)- >>@p nh q<˷fʸQtt:s݆7>VYP̄H%~נ;0X0hgk"=W-#IG-R~ x(h5_1KQ&vϽX=ހ7Ǝ1!ri}_,=9 $4gF&Br J|u?L<+ClRpq+fNQMջMvEgPR2O].mxFLyĥD(6GM+l!e.jWn?u r_tU}嗳Z g&ںx0C=t'RkPZ W Oq Jg:?AxSKAvSF(Bg;5n]a-P}ܜu"8VK9ϫHPmP2m v7#'X:t`iյ5H*Gޑ*Zv-z6*)PK?ԏ>BzN+ڴuO"H) 4d7_ _Vc?/Zg~.d gn>|W“ /n!ȞI3%q$ +X}Hu =['tfH= z gYZ7zXZִF! +]ŗXi% <:-h(_axW%̡g(`4r[4e9>ϱ72'/`񽰦}Td,Iwm` u𺪓*L6ȩx†J^Xܣĕs!V;52™N7US!G9v:\)UOMɒ0;WI!=.>N0Iy;\Cܾ'LeKԱ'髏 I7 ۊ"je;>dj-MY.*>s32ytmHin8tR˵WnHK9k,3'sN(W}Bـ2)P ߡ務S˲WGY𶰃 ZvÇDG7?[*M);f~[@+Y8&]2O$[GV^NOUΜGJY@<+œb/嫞`P.mvѿoy!;TRUAiJ%Z+wٷAz @vY61hꍳVK=3nTڀCG"P2.+5=st7(*9dğQu):.޵vP75|fRa ՗0apB#&e/bXuOv2%*2RBh)j"!+3lO|+#aΈ( u!deQCX|w"5|ͧ:I'9 f=9)Nq.ANG?rjrdbYHi{:GM%l()IGޢ$ u Wz^ԧ) 9TLO[M={ f{ˈNo uW'KU8D!Hh^.m~宮^ܙE۫o(SZ Huv z@.o#θc*c!ukZLʑ,Zƚ$sg\1Kc6YoVPECJ3__dRVf.uB(Cn-h՝Z [,u(8oˇ!fG#Gև:1㱝R!XͶ{$/sna 6}~؁ܠ`~|R&NI\ɐqWH 2N.KOQñ`^<"QE8[)dN}9RA8kʷ40IԱg&J@Ut\Z^f . *YBMk׏ЫET%-Ru6ڢrPf[|FHePԂ)i1%4&l*Z dNe|Y56p uڈi. 0HV^vBn'/|OK#w _ECCrR t Q@{d)\u! KMnٮ^f@Z[=2t: g!(]a_\X|tryoNK8Y"BE],Al~OؼJ4hkP2~9S2#WX{MAQ>BZDžrlLO|XVIǏN&n֊R*9ׂ)H g"F(H+f9NlCil!g?&RaINBn=6TIAj .|{.xj+WNW=WJȖY2}2'h"7ma '~e9.-vdhk)O[TBq09xQ~[cf%hLaJD\pwה -M3/vḿy0-x-̶*NV[9Hٛ]AGP)OiN 65K{COdQx&Trg ,y jK"aW{r Aj!Cj7Ҡ2tgiUjtǽb_~Xyo HẆp h! ڦ};\?! i09m8A"ͣfb8NwD.ΚPu%h磳I mVs p%՛D˶bŲ1q!5$؋|;0oROK{ NpڴBdPhɍp|ʾ3դĉm@Kz:6;<x+3 .믈'2VBG>h]^9UE/luz7o#6ܳFTz=hGԔnpL<-e[uK9.86Cݻs@["DcHx:,[N8NOV ^Jѩ˚WH: 'A&RKcBu)NPTLȠˁZZ(_khɱy,-oy4,;WG<$x,'-*!WOAVᛐxd-n6JB,_.&#}99mmo@@!:n Žw]!ZtөT~\gZnu8݊fCރZ<NQGCȲlX 'c؃<`|a`BK;@\i|?;({bꃣЇh~C .s|8ډoe잖 F'5ɑY%G^!2g~Ս0N5c/ >Ζb]M7XdzJQrqgde+8ټB-|Au=6@ńzx a,Ѷ.]zP7(S-e 9-^cRNKDzd34nS ͡sKTqu$$QC^Ce&NN#EYqfօ%JaGBּ4V` w6[Lmqa'zg${] 9c4X$LF58y1FRn-c`kHm!-W*Lu|]j+2<6#-l MX, Z1%}? ;40do3& p"" m=MX +~25!ͫY?f^95&kQq%|HXNkЙ) O#A 'И/|8dcȕU86eg͑{ oj8:TkѨMw7-\ͭ ]jJ(3SU*y.iwxCW8]UHbJ t? ]GYJQh7B,JFt OuWtu1!j{MLu|deQ,`/-wIR? sw~/At;yX'~o~25uz̅@ssk17!KSy hr3tT7!vqUg9]QNLTi.f‚4Ϡ8LL[%64R/Upjn 1@5Oc31$`Y(WB  ]/q?Ma [C4CE,(wX_%yMc$'n\Wlܯbz^1gQZmKeNtĠߪ9cE{d*72Am&}AF-?xپR SY-  B/Zu했7 y*nO**o8M;ds^W)Q+W5F87n.X|u!bd=2d]g8ɐJlu80o@,ՀX3jv0beZEEX3WVgj~,XoФb<9:Ь@zf5aĥ8iZ.+>lyS#3O(&Xj V̑훶Cjm9~ Zd]sd/V98"ܤ2N"p&{"M2~`&p&6"Vobg`%܇GOf[׉p^GAO'Oڋ3f7{ւh QQOL![uo49B;0MCgBgM]n=edL0?d8x~΍yHXȘhT}Cclk:=s|WW6WM³h3#5VW@{;5`?  ܶvjE0ɉ5GmBy|;+[ʌU[i+_6}$! O J^q۰NvxR:h_Cer.xAʌBɱJXX£ɂᇝ `و%2X7n(b&I&@Ή-in }@,?մK~'A>HY&Z5?ة b/Ⱥ(1޴e#]ݾ/iTgNz#=Rwp^E]n6 P0Tw# r@yWQdR&}3Y|O ?whLA)HD9$[|P+p;<a-`4m-1ifîOwg?PR‹AV4g׆T19i)G[-?!kMOcƤu~ݩ<ݥh3㇘$4ɰh һbЩf=jJ4w("47*6mY; "@3 9p2a9W[[3 o4Kk4~-#e-V2] a]SvbCC,64.ϏD"o20JD_N=pGqάj$Yk}9{Q70(mՎcZ?<0vV'6f 8y>0jOC?8jU@1 Lq(jkCQl6;9oܳ ϑ \+9 ܤc>)I`wK^HjAg ߴdqQ Ad'̾DmCd-9ߞ+fڧ͟2;FvIă=52Uy$DDMR- HQ T3{d #H," mjH֫2X C>15P5"Z?C⯁)-3f0| ʥ`B\l:OKb> )gYZ3ccae0218d69e003da4c5a0348389b45fc613ead 90911acc0090521e769b6b9d77b0f645d25a66ce ee917ddbeef1eaf59aaef5072e5b4e5081bc965c3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd