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 k1 <\ + HOL-Metis_Examples:threads=6elapsed=11.760cpu=51.656gc=2.744factor=4.397zXZִF! ZW]ŗXf1-q恈(K&Կ6l72`5!!)vE3X"<A ZX*3V~7V/1ѕaƍ*e'H@$㯩^d:İv7k4cuR.:(Hg&gl-25N @dI]T~ OB hHCg'@2!|5ȟ 1' &̲`|)w~zn3vRJ {dg x:UL+I:D2ZNo&8瀪2z%l\C.x m>&^/`]]%&؆bR>Q |)No ?xxA~W.£lQCas:bӯ/J #Ä=T_~ _xk "S{cH WNäyxXh `|r&P$q7{ G^ `:=)w}E9S.=H1XЩߓAj\6dHtz # 4]qoqV:6v!ʹz2Í|P"ݦg{(z P4}RGhF]֘3RM-4 tMDs."7 ʴ\@k<vLXQ❅ d1$?B8hBp<ڧQͻ~R dOK_\̣2#Xfep# k DHVv2,nwTƞ ³ oD&xC*ţW{ "`H Pn4!R,A\ݫI{WcoﮒC=O+R 4uB;^p fTDZs-n %HESV&d9Z7И*7r``_U/%{j;aeCn Vu߬h!,ӶR1sl3ޔ> P 8A>QSLy:݌4 ~5(v O {gYZ7zXZִF! 8(]ŗXi%XY'&\4O#w3$ro|IJX3B۝(ɼ^\2׾~!6i<ݴFB7g7AwY;uQMN 4gs潳YvWau8+΃աE|ef!F ?ܲw}LZ B[!'C29(Υoyc=-; !j|iuXՅ F ;|嫜W;KJ+ڃu ÈDZ8!߁t d(A5nLLy1\B`-ogqS?FUVKػz9DrRS]jNob]8B&:{PغVr.e#iL2eHsZc7nYvmIF00 |N6zsLR$?%U)Ҧ = (zq\p6&q @ ú>h=vVh-I6dEC/ŶY\ɦx[F\V=bV M/r(azh<'qGDaLD>n\斤^Ok.T `XkAOo{۵6޸}ՔtdF[&P!e׍k݊ HAk:H_ _*x0Ž? >~x3rS;;x 4ƥm*xDٖy&LAf@AޙCg Al..7)fφes&K(4G>@foH'~ B+ jG& Fm+pEHCiȯfSgN{1b\I8*Deb_u,{Q@zŔ3R! e&++pHQ"8ejf@ q,gYZ0e2369879c23ffa3af808601205c5bb2f112917a 1d0185456c84c1ac52eb1af2d60d63769a32bf0a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 23d1dac6518197bb653bb2dd01cece9190f4f6a9 2932e8acf4b7611b21070ee6927f2e748edb3353 30afac17f29e367c46142872751722118953e506 37f9ef6fc85bab2f1937ed81bc66ed57d9389e25 4ced3075193a3da52704475288420dfa4494b4fc 4f0c77af82d612cf4d1f6af8d930c9b232f46a62 6cf4847e81aefdb0b84967237fe250cdaad0fb9e 7994a7ba3037704e6c7621623106d2250b6ddd27 848fe41a2972381d353dcdeee71ab681f1b6488d 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a57d9982f519f4520bc5be96b6cadce5780761b5 e35b62887e26e404a56a924a6d822ce0dc26ee173bf217555273efd10b50aa00addf88d4a39f6640 903f0f5a2da47a286396c2847bebfc79373e5110 292c03adee347cf88ac573fbd7d82831cfc890a6 1 HOL-Metis_Examples