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 6- d m HOL-SET_Protocol:threads=6elapsed=22.107cpu=90.236gc=2.156factor=4.087zXZִF! )M]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3W@'? 5KZorR,LkY-hEssʂGaй 5 չ5fnJdVtF ALGT{Z窦4FԻa~eO<\SR C 9 ֐?@z5YM .hy?m$%lK 5Ħ$*GXd+$m/y\6|PzԻudqK Fmu;Z`>+DR^>PSEIz-^RwN'Aoq` 9d A f )NQ]$s^v2qn9Z4u07UA95έ|g=Ѫ(벛@ N$Wuv(89+ *%#p/)ѹÙ˜f~wM217j9Vu ODBVB=sUQ8O-} :HU=x8Ga]*H\ ^i1"j ZN=&/K;oPoED> Jkոo\}Epv Nl5nV!L%ڑviφr jC%MȞﵓ\u4X<=_faքCZFhB&bcZE(ɧ#tᩐ\ioHҶbNn8:?@(BFtVbb* ),4 i\ӁMs99K'Q(L J? T}|Ԅe0(N.yT֦ IgCER!&Lc {O `ʡ!}Lk c!~C!@Rr#gYZ7zXZִF! jI]ŗXi%6.5SZ }D?dƠ kgJ 'ĸO[1BMk7n wWtmRɓZQ\]CXWੋyMi |1roܪqG M1U?< }MANHZbsY;lqpzcs;؟Ӌ^-QI@D ƶK$׏7>q!-ULUM)6؛<~O/yh Z8<9bC䉅#dBi#Ą(8 Xe0L7U7[vnWć)_OpSgOnǩi4\!8< J"]j}1ZHWW")\ KR7b~e  $!)~ |c Ⱥ=~XՅFE,`?̎f^InS+|IkBbFη`~7ӹ1w>/,4h@~˱CC';VwGT߷$*ͫO .yf~M#bDVv:&ug _R Uf)ùf)[A̔nqb/`]"ad#X;5X% ݅]V\FrIJ \*ȵVY`RCMpd+ASL/޶#`Iꐄ,K4%^PbCi+(wJ"%߄T l"~ 'AL2$;8dҙNj3VI;Tі>KuixG*gϑ _xMc.jq"qy+CB6u0`\*Dφq&w]b"L@9AY#kکh|sbcZQf*"58U0@ So7";SS( Y F=&9:Zq=nj}ڸײ'ePƘk=H %HГީ ⍗kqR9.oz=[WY0ZiTzFJx.jڊXm@dm`aڐfڊ`pڢ֒;y`O\ #Y耏. 愔ist8"26AZVIͪ;\7' [x#\s426c*}&֫n9#~gS=!؜ 8\Chʪ֗3[m8WHZƬʖo7;-v0dt}\)zsoYMڑ' &e%+Ӡ5D+?{0o5\~kl(Ǎ0Xי"~.(in|~ɭī=.H)W~]'σDZgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 5e319a49a0c96c4c92720af84b8877fd73e7fef9 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e a69633ff75dd0b0bf4387b8fb5df654a3518db57 c9b1c655a002a34eb8eae1c01b73e89464f1ab22 f77aeb59cb532ae17550495de1af64b6798fdadc449a3dde0e28b4460999c1d262ea552ea93aaca9 189db06b3ef2674c38e7597dc4d6e5c65cc93af8 5457aef68375e290f60ebf7493a8bf570400293a - HOL-SET_Protocol