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 B- R%a,I?(kSɻCt"8ۄkz.mcZ>X|+3N|DmCށW3o`0ӕ9!- 6w#Җ@;wit\aoC&.;!6[2Wjt.|W Zȁ -KJ((TGkR*lX[cQ}Bc:M WjIc5sQmaJ@a_QJo-`wPb& Di6k!"MwBDt5pJkƗly02_AcTT'UDKc.4ڍ\"\=E% AM9(}ue&_.tPGO13/}?RgYZ7zXZִF! j9]ŗXi%}.8B*Cc0~y׮j#NfDۻr#%95*8ZBW^Fp.$aB=qGK*utA{$PѾ @,c5 0'9:D;Tc (m%Y޷Pađy.S#I;C.2/O!y$F!o'yn;= t%R?*LϔbcAGk`%v% yfԩwn+]]=qL/0nO@=.oaKA۽F3MdRsq/:Ӎ((T>~\=LE7,V8!=c}%ȀĤ% 73NJfl-rΰCXIN,[lO9YJME"}'?l/8DZL4ʇL3 *s< *-Hx޺.DSuܑ߼3TD?7mU:;5LR+A.~JY1S/C9׮[iԑ79F^0)XpjˠI^0N~a`x.tl"ZNq݊)[e~/dް1R޳hDb6&X!QGr3.W$qͅO_"+[x%M3 yn\YFQ )G?Yy0" e{9RX&Mɭ޶5K_jO,?4&fpn%2AWzGc{I1}2N-%g˿P>q̲l9{[ 8s,kr^( BO[?#V~ģ127}"NjTGkՏB5\嶌:ڔ].(hۿН$Ϳ#2TDE 3/? #ʳᤠC_-1_ZɥTVcIC3e* %Ќd]J8 *?OqDГ?h%bY4l4M7SacN doN>?wHXWBK~QdVKZM±&nR EU^6@gNѷGc@ޅY A(ypSWlj 9G^tGRtxpX+bVZ$\xT \ҭRӛ{ hMecF;ԁwxȂo[L9+L<{*zn02 ﰼB.}υǐV8̃.I.n taR ]7F_sʗջu p Zэ &y"{8f;,i@vՄ3 0ؒ\hmCFZo7QlX+owRz{=}]N<^!1^5B-NZ&F nk7oP\бgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 67f492578d910605290e1da51e43602bc3b1ea50 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e c9b1c655a002a34eb8eae1c01b73e89464f1ab22 dbf379167f09720bc859469db1aa48b17d08b2a4 f77aeb59cb532ae17550495de1af64b6798fdadce32bafa5278104b4080f2c7378c9e2c506c4e27c 6a4c2b648ffbbe61b70156c6b0c49ab49daa7b23 11628d9d1733cc48796b260dd2107d488c02c449 - HOL-SET_Protocol