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 &- < m HOL-SET_Protocol:threads=6elapsed=21.820cpu=90.100gc=2.120factor=4.137zXZִF! )\]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3SRwn 7.%*B'P<{˻QqG7K9ax@ OrW&ľ $Lfulvpq]g`yyײT.i*fіr F֨]o1qA+ѶΦ|7bgEWWF\CNXDE{ !{K8_oqu|qPt`bJv RGgYZ7zXZִF! g]ŗXi%6!k|eZghc:IS"LXz!u,xcZ+ᚮp c 3#llCeTL2GiMh^ _ `uk},}Ҥ7 9]q?r%r?Mq~;e`1;@QeFn'Dn)5Fo㞇V1.N[-&UQϻ(0;;;,%nX }WA,C3W^ )sF'n|b0x;%4t!4N'd:sov:!3"2eN,VCsɸ%rgXx[2%5٫$EA!T:6Bݽ)aˆ(,t5nBxׯ}>J9ZP fl*wmso03ca ?7Y`j<`]6 <Ц$i ب:L_sGdžS?QE1ڥ3~i-L])iQX/ㄫzppD`e.B!_Z+?lkgbSON{YcD.KݏhZia~wX'8= iO~dsS{vIFT7I'ݪ/iR'iC%W[a~Ea|vPIP5P-~x%r~,AϬ\Z(b䖜smjWC)‹H9M1UP܉}me9.fh's8E_>?[{ZV{[+{@ D\orN]0BXtB$qIq\-<J+`V*O:JsCFށ sWM[ >{qKoڱ/A,s3k7Gwplu&.+)PoB:Lɶ>og,L4dw^pz:0r*+#f!汔# N`ż5{-)_gB:9ʲ0DoK ։{3Ӿ)؆րLcIsI˜IN7,n\ q↲8:{:pab܃"&K"ϝw5Rs5t]y$%w\' Y2[[5o7WY.GwA^?mT_0E,KQHW>& o4sv:̞"4 9n))d?Ѝ>Fadb}̙HY#tܟ&.mHBU.ԿP,"F?iyv97Z,騰?af'=Ma;>X hҰ-VTͷS7V䭬J0*W rabމmNPq?:(*y%9 dfN[)ό۸l(v3jJ C6|Md%`*\5o,'ihj\!# WlZbl3ܷlr T@F*u.M!dsd 9M6 @"S=g1*rG2/.Φ?؟Zi:T4 |䔎ښp'Q/{߸GLcwkT c250N(I%Y9D2;H%ݖ;6nj~vGrx:Ҹ|-6rgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 5e319a49a0c96c4c92720af84b8877fd73e7fef9 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e a69633ff75dd0b0bf4387b8fb5df654a3518db57 c9b1c655a002a34eb8eae1c01b73e89464f1ab22 f77aeb59cb532ae17550495de1af64b6798fdadc94c9a1cea78b6f4fb7f551d5d68b467bfe295c7b 813039a69e2ed3cdc91d1a0f5b931ed348d85609 acd4942fe717bea707104429aa2312ad239fdfc8 - HOL-SET_Protocol