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 j- < m HOL-SET_Protocol:threads=6elapsed=22.115cpu=90.476gc=2.116factor=4.097zXZִF! )\]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3VFrNixX =52nFxww GZ^0ڠXxt\>GP~*SK: __ tFj ⳱#tzK޺4%9P|r%MY-?LW|YآE\>%h?kfzHn^CPL8mŰPQv%R*s@,6WK[w_]X=hj UXK,:g?Ey-ٽ. ;.i*D 5V^]#bږ"o8}Y/j+FTLm$cazBw/[hJ^WKðe| o QN6B֟wwTzaw½p[ZIUE\ vkN-+/8̻ Sc,@kBV+ rW8W~_!^h䳭jx]uu+CjuDZ1 l|ȿֽһ32뿼/.k0un~dr!Vǀ)eН#fʍJfgO3j.ƛJK^Z鍳mgy~edl&< բu'vw "]ubݝ ѦvflUj<h| kl!~#!tNGKU 老s ȗ<5ڝA;,|i";A5(ԃ'8g; 5Nl>XL-gCJHoV)FeAGKҿ?۫o#+b7x ]Ѧo s^g/b?\LIzr3XPv)g1 0&$]=\_NNNJg IiNET4'I?'$ZHu!?t% Y=MCҌ+l.-r{$©ǁ/Srߌz%]vbF} %KvCDZ+&i&fl5!P$6jE;_佗;hWr0J~7G)I6z&C &ktbg[#=óq0湰 *4<fy"0=V,}aV[bߥ"8s1ygˏ 5.OPY0) Hh,Fu3/ՙb3%"_(|Pݝ gy =Rյ3Owtr1G> [ a|^r̳OmrC>iϳ0d-Oa ӎQ-%8YX~_yHRʠ])~OHU6W!Lth{ɪqEV E``^H@VQ_ߨh 23I֬t _f@LUI/}Mt5(65f~Pp$N7\?)4g _=w??LnTӽB[cln;}ޡ1H^.ֲu E?NLUȚps3vWhf.\$|RHW9 h]G(3dCSƄB×I(iBr'(,mb{ >R e sC䰒;|Z[S CV;pLu "fɍ@ҐeEy=QMOJa4A; I&b>A,s4)r]O:!ya(| =Gx O;*v`YXin9o3r`_9 B2E995g!GB/AYގ @^*^aCaM[0eEfAqVi"7nn)A&PV?x9%a <im4˘H1vEm0a'H [n>QFE^ω.}= >i TxBFۋ3gYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 5e319a49a0c96c4c92720af84b8877fd73e7fef9 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e a69633ff75dd0b0bf4387b8fb5df654a3518db57 c9b1c655a002a34eb8eae1c01b73e89464f1ab22 f77aeb59cb532ae17550495de1af64b6798fdadcb7a9b2dfe4980115e308a4222253abf01f3cba22 ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682 026c9caa8befa3a67feabd448ac9fff1276a46a0 - HOL-SET_Protocol