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  ' 'N; tL ? Stone_Relation_Algebras:threads=2elapsed=48.791cpu=86.892gc=2.916factor=1.787zXZִF! ;]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQĄ'6qԃ%̇gAlW}:#"`uhP D}2i_!Ě_9ZGnqs(P!mn*&Tb,ƿH!dOav;ZHunp_ϧuKR[ƪs7M445XHt'AT䣲J\%M tEe5dm!{e?oegJ&5G0$3MVN$&NawdNJ;fTI$]X&mm`-' 3Lqq;q6OXp׌'*he7cU?؀)u Ni!Yωm.!,ڄ])ٶ@s' W3l3Y$:X%F~3dèxCHdz^A1BM$n{J\)뒑!`io`r) 8"ŽN M޿ATF0N"E(_! *}A5'~sip aUcpXg {ݷO%^}9|^ |/Udl슎 \|e6 Ōga(+cRŖ"d<.,/{dGvAW1<' {nz^ !\w;m^ ; Stone_Relation_Algebrasa蚎6An#?vPX* >X719Wǥ1Kb f,CP$-;a:~xcXqZ)L{om$Ĉk} ;I~'$?e3M*b5xw~spCŶI/z/Н#1: ũwE0DZs59dz&dfTlk48}kZZj&(Ҥ0WX.م>Z굹lQdSiRsc>HHUG:٩M;>DZϠ1GYZg_9σ f".)LG@$Lr Q}0b&;&oߴ6IrFKUrTb>߿뚁"thUgQa$Y?ql`-| vZgYZ7zXZִF! : ]ŗXi%~ܢ&I6 PP Lf *j^cqjYdtJ7jjoCd;tʼ!&<f|2|Q/CL-Lq &w{1">_g>+$_.7S+{F)z䔔0J~L{gUkǿi B$ Mhz!?t^lSDi* -(7bMlИx!GFipgUs~`[PC:'d#R1-Z]F%8V;rOⱽ:>؇}YjX)&qhar$ TV>U1&{@p$ `Տ&Kx3@Q A>1F|IJSs0%0qpRnGG9P,_l67^$q.:å6\?Y]{㶐CYZx ӡJaЩng8i#xʁ.[ 34r(}'&;O4Wq˷yмjZ YaARR6czXG;iؘR*`Sw68z02#M7AΪP 1=]{BKɝwWssu].+.0^~S].*f2mzf&OX3*8`D]]qSw-Hp| 2c{V)W5\'IJ?gx\AeȬa,3QivtހQ+Lyv³/lB=2'2j 2.]QZ&]!JptxA82??o>|?} o#%XJkpwYgt/1ŋ~MGyy K rc4jT;HKsAsPe\4@Е+No)oeO-<*mڅru 1A[i_ s@//\ aʿR8U:E~&X3ǽ/ۭ˽ EUI=h!U?[5GO3bpw,\|r܅<|9"'w2Wם@Jrpl`P]8uq "k?V7]ь"cVf4(HZz{F[,,YdIFN>-0nal} bnM4kˍr6ԎHqe=iL|@3d2頺v+qpYzYR.=+5g.~BS$׭"6z EgGiTmM y TTWl\Q\PGi(7 n2hL#OA4C7IM ٕD%ǎWɓd>vm!@ g q3nq{:&;/ -4~6J/ xj^\Ҕ\E1"x:sJr;Hd8$37h!7gJ|_ХsxGLZWQRNNGKcG'nL'9؞V>)2Վ{TҪ%C Ӗ24$*^Capek:ˋ-aPc5$ *sG5'z^mߓȂZ%5 k%^dB>bNHt|].{ #5Ugv)19B^G_%jd [ڀsAtP+6"imdϒ>Wn!BN~T!3> g@8v(T~uG]^ҼI%¶u/q tS.7m?K-R5C_* Sog^T'knI:%4 OflZgy MMY֯{,݄rx_ylm\u3V#˸,@(B8=?b}Sxk R|8upliZ )ႡeTo)М}%1gѤ5@@ P\p{6OV*dBi4ou, DTt8f^,+j Xsi| oTBbs' IYlNDBR]yl.g*mdkM`D ;R`+m?T.p%9KKn:8B }V0H=pK /'j '!Z~w T?RxoHI8 %K&4IY\^Kt^0R8);NY` 6WuE MrO/H>Kq8dX<[m<|&gYZ0a28500c9cd54c61d25d49ec3b240af715f8c432 10695c7814284f5bd8111213b7ff4a17bdfdc2f6 2eb9258a93463f0c98dd4d337e90707e66103296 3c8cd887c248fb46907e322f94cefa929221b95c 6969c3c300be75bac81b6017a7cadfe044512696 6def3dc46358ea64f147563ca9a5264abc407f8f 74348731017fbaafabc74dd4316c2234aa5bd72c 9cf71692657e5b1cc055fd134ecf3fdb9b919708 c7f3c508346e5bff5867083ea0a1150a6c70e2e1 e291d123f5649812200704f53f7e2eb04737dda1735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa a5e61bce6d0cda4ccdee8162c4d148bfa332cab4