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 s' | }]HOL-Cardinals:threads=2elapsed=22.061cpu=41.220gc=1.768factor=1.877zXZִF! s5]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:)E(J0|%3X{6mAImS틷?< :f`> V o>"`lCzEj|K%;@:m@ hُy̽vTc5 ?G䑐gtZ++(YH!6Bc2v?"ڨSo¸p.kl+C,/!zMeq$"Lc_9S{;ᜀ0;;uAȪ3KAUէx4y6K$nN:,%`Yu=zx]S,x<\N*ۑ-:@xE2XVz(c=rz5a&VS88}J0M6t&׈ %#Adͻ}cJ3dj}LCdwT Bcgt9ܖ9bʀ| 42>ݺ nwj%yGgܜ\MuU$΂Vݖ={z#f6/eT |#9GcR?o*fWXN7w+ާ8ZϧClG1Z$S7\o?}3~OɊxr Ծ uGXum5T( LяKL/}Rf y R@tIL>8z#mH+ZҲ<Z})/H O9ޢ#`?GbfHN#~'و)qWnx[]=ޚ5YtopNٶ8FU+¨ F;II<\hQF;1LۃwgFUlE&A򑉹%b)!VD\-HPԥ3V@CfYSÿ+uu6IB?j{xAҲ_rZ=~{)` DO[{4mH &8#nڤĒQAj~G]P >%'\h ߸a5Kr]ƏV6hvɬЃ˺1Y@`,^XV%P%/O,rM{"dЋh(WСqzzdZM3ۮCjˈ֡~h?$_`vW~jXȥ`TYi׶Z<%Bu F'aHz,t<$x@Ql+dZ'fr.HJW-԰@PCds&ZY2g3;a4[) EV zR_Z6 s&R~A,b1UX]VjͰ`bΉ##Cm>`?S6b$qhC Ix(߾8!|E0UKyvySqބ|RDG_E0edFcs.@S-ڇftqD. "ΩR+]Љ\q8Vw`a& GY̒UtیTo댯ȖQuCO)NE@Y9K >M(<@c 52P[˛"A Y@ȅQBɿVYpiPe( QaŮ͖MPMrh fxthS8ON#x3NU>$ 6ԑGW%AdW>=7dRCu]xDRQCq!eZJՆYr*Q #VH/+|#m&{.KJs<_8)F ;d ?z)8 ?/е7ꠡ`G ' HOL-Cardinals#d 8صЊB N3 9#U뷍Nl : a6]`5wKhۦL1m]$sMqK+XU1ȚhXJUrx 8`κN*ˀ;LshB=ox{ۘ$> eauNzt60D YDu%$D(pIO)Tb yABnp`gI9`Y_BTWa[E#y3&(==t9ac"=zfx#wX<|+'pyO$ b$GytzߥZhՀ1eE8_ԪziQY@Gj݅ޗ]E[H뎪CEl9M Ӧ>pPN#.Z=:AG"`.wTv[N]v@5>wAX6ĊB4gND0VO"A2nD¥ )`ȒZU`J$ WU0#P720פIv⣫$7=lʽkrBA)gGO$RZǙ6 `p'X#1C؈ 2c59ulM =XC\Po8?qO?j"<7!%ovL)?֑ ־RB8cQ8K2oqzcgiW!ݴT$ETUg"⼜JÝG]S'n8%OȻ+fܮMmbiUtUjvk!L!CTR64c0& ׵_ 6`[Տ0I! ff: ǐU`}LCbHܣ%#$pxk &VXpwVY zիJA]MoLC {MMV5[ Y'sY9%[F|Ϟ?A\ol@iv m1%W4Z*F%Dc) 6=PgYZ7zXZִF! eT]ŗXi% ŬmWMvE|y mQ(චZ-(!'߹Wx_ߊnu֫8j) :az:gN 'IQ_qI?lZm9nfjF_>!YJ&yaQɧ})\CһW7h(*)T N;BU BA3nr-T9~JZ%p%m2)xҪ)^I0b'OlʞYF Y2z1 2 3G[YPYiYqD]y&aՂ_|e/\n qxky^w4 Rj&vt!w Pk/~Ye)7y9[co7!6:ѿ $IfR뎐}Ob5 ";KTlژ9J ЙBgL%JHNRMs>?#']aGĔ:A% c//k>r tkWDh~!uW=$r"FFҨ0E1Kv,\W3F"4;qtE_~h]MYQEMm&ő+ !u Cnx2z> ex\yN\svUZ fu<DzK Ѱhc}k`?!Ah-_ßFc ƂPӤ;XZ&VvG\Lmh'w 訡dEd жFzhT,,K E }z7Zy*E2рd`ԝ0cZeb&м"1J)1L?I~3 N[ijdî;$yLS P]b&w詅}¤Y0(!t]u!OZa J/n= hQ͆}5 )تk<2sc\ 7 61(}4PXpn \5qޚl#| {f 0(P-+Q0j9fg|H'߻^8k6QQjg{Q\xDSj?˪*_ܻeH!@] RՇ#YQ) $ UL:~B1y>i1j@MMˋq@aPvr 1DA8x7