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 D+dd / Paraconsistency:threads=2elapsed=155.654cpu=299.820gc=3.080factor=1.937zXZִF! +]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͊ 2 ś?} ͞ZFLtm!E'ЎAᵨ `Y)zJ'q[p<)/άbOy(T0vgۗ$y 7)IyA9,SXpd 3GEfT#SEZR>k`xb*)R?rlo GxDf}yX8@yCX -=cz)Iopo-L:X\yM*xXh<[H X[VQ(YX;K + Paraconsistencyk슘+˅i{LV| 5zmNrt W$l9rDJwϻ6:n쮫-?@} K#)TvL./~ qG& #Vk=}Xŕ }D?J: )X"H8H7x9{gMS!&..ltUgYZ7zXZִF! j]ŗXi%3fmjIv);+T=U+ _n%m:j[ h:6B5FTdBo2vz(s@>sj9 yNW׍7AV s[- v#2 \K{veݍfg'޾E ĵEkbdکzMD94ut V*Ovv5a\DX)ayyX -UwS {\U˽oHeolpF4+0Vph2#/B>Ͳc b7i**Wd XJJ{]24ZY;8gֽ\[1$WثG?+C&%\➒F`Ɋђ|H_2]x( !t*s3DjT^8v~ND(\43D5W:j͊*-z*>R= {8XdQYюd5s3Ľφuc[(ܿQT]Fpn^LHJc^F Z`BhY55w|}R, TQ}53e s`W8s'5NNhډ2q-rs?P%$ R}!ON7QYfR*& ?Ò̎' v$ˌA~BKZ'&KH^5j(wC*L+ 4ξ,gf;Z_jiɕvֺYm wpml-+=} -x8<~}!+8hu8Q0~(_ ~;ߤawLsA:| ENx_Clb[+\Wys| Ap!sz}$ZAHg&Zkrb :|{/(_B~SGU̗ SA4 S(򚃂ltd9Ε4lS49w ",eRJm77įofny=R/}Apv$Gvb:@V-NHge4$o-0: _h^#CW{Vf)֚V!09D!:J^r?ˍaھu5;9Ѻ>.maA. k+}K}:r6Me}<$eQOfӮ;zFSuAxD~7(RG7VP5 ]h!S֓7"Wz,36 CYm9>Q1w60Z9mP{zA%#K݃)^o'*48IE^D}oȋ՜ZUȸ\r]"Q-75Wp/KZ{<+uGNO_f(_RnMbS0>Jo #s 촌)uW+Y睤U%jX MG޼FIF ̨R h)}XLt.^"i.R {{`z#R;wQDye`>cvRyVVPa.ܖ8%\7V=.\>a- 0#+ xMo=d$[=?+pAav/ wnc-+ۙ o|XLѾIPWVUm}.H//Pmp_4Ǿw71>Q'bdcr)U<׶C W9OfmFg~Ԍbьe}G3AcJ}IUv$ զCoT2+2ߪ:f+Q62g*1WSW(ri.)Ф?,@# 7We! -'B4O"u\ey6Mq2U{k8|X o`jA ٢*㮑"=WHĈi"+JyWzFzUIUj6 8F&[@P!~]*sΘ5hYW:} Ŝ!XؑtCCGM6 Ϥ_kQauWᏔҭTCZبlV'`/x7Z#ݻRZe0)RpqUs@H`G왘kKK@*WgI(afŃ#1)׵QӈίP s0,O[QP>>`zj ^:F@::-CkEvf@u12'SFtu^e4I@_6&"1^w,:4N~/m$ *uVDq1v =lAf9|N뛚 L= nUBL!(H[ukZUj8~aGlېCߖ+- ^/DMcqTM%hځzk{O!҂!r-\WA@cd]<RdDz<)UYq$ iT#̨VA1Dbk !j,usgsdJKAp%_Z^DRW{LvD$ׅ+s 3ʘx+H@8-[ʊDTڙ 'SHGJw;@4pepg5Z<=z"YuIylB7#] I3YbFv̂p.zSu5exfe0Tɫ2CYoʑ^4ԚL8{a|R7Om"{$ NY!FZ,9KV=jUj9g'23]zdվ0 !Q_)1B Ͼ.xJ:pᐚɕcWJFB(&.3IPkASLF8e/v\ze*&a 9Ņ! ˯Z xg}is%~*ͼ̮螰̒|))r>9n33!{PpBڍݒ(.s)1BA0ѵ *f̰К\12qwf$BȧAT6khsIu6"-Q0= EhONL}Fxa P 3Dv(S(Z>oV?=E%%nwQ62 T6p0~״%.tk1g# D(y\SíŀA^ L ͋ Pl7=2?FU3*1>LZ(v*c;(Gh2u[BZ9%:R'PA-J+c%N =-ImNP!p{Ո7^1b)M^RJ呋*c]*9f s欰+/;dJ^` %̈_?nZ߸dT@9!+{gӼZxv̪$0^Fri:ۉ.ni^{|+]Q=>QK,E_6E,B%"\>b.`- ο&L$Q JoS5`CԇV?L<"@u]-});R#}ttyZ 3Q_z QhF{uF6KMGE >JvHzT8@%~:Sڿi= ݂5G>jV=;jc6Jb7@09*I❣7e~ pH铗UQNgSI1=/^'(b{W%mvoloOz *ajHwX#Mӎdu0`WvGscٟ". u{ pxM̧i|=D!g^T>8)o(9lԉj,]oLaMe/ ϮgQ5{NyiSX+5աR學K'v#'O[v'5( v8qcX{ũd`]Y(j-.)aWQgĵa`\ShP#[CL51YS ];N3u@9{N\ Dc!V)C+N7`ŻgCUsP@2 J+)ZfvQ9b;e H|WdZ8~52,im=VҒ8ڐPuB2g1Yi<0KrB>?H@:ϣe+Eڃi/BEdz`jY!)}Qp8ۙ\؋k Ÿŝ|"BeI&QۄOfF&H >1ɇ3V+Q//v