SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_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Ўuro"UO)sH寮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<[HX[VQ(YX;K + Paraconsistency k슘+˅i{LV|5zmNrt W$l9rDJwϻ6:n쮫-?@}K#)TvL./~ qG& #Vk=}Xŕ }D? J: )X"H8H7x9{gMS !&. . ltUg YZ7zXZ ִF ! j] ŗXi%3fmjIv);+T=U+_n%m:j[ h:6B5FTdBo2vz(s@>sj9 yNW7AVs[-v#2 \K{ve
ݍfg'EĵEkbdکzMD94ut
V*Ovv5a\DX)ayyX -UwS {\U˽oH eolpF4+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_Cl b[+\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 MGFIF ̨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<CW9OfmFg~Ԍbьe}G3Ac