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- DD m HOL-SET_Protocol:threads=6elapsed=21.987cpu=89.892gc=2.092factor=4.097zXZִF! *']ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz+Q~lآ{d((AO.\ Y=2ڔBEw%1L6]0}'-S17.K9s* U^W^"n:|V cs d$e7~Oo (sލ E _Ql=8iզ"d:Sk~l̜~OoG;Nq*"J?^@ ??HNC=De q|Nۥ:zDm[aY` z<;k-3;^U@D'?žmC<ɆH";5ty}AV[ _Bcx Zy t&~&ߋGAw0M]0 iBX(Dw㦱׎B2<,j[<^wM@ Ww2&.8~@)Y35Uu|<м!#}#wB&4wnIgBӚ4sm!ӗ6N솗) %ETEܫ>Lh`kՅ Э#F>z]6p <1ޕꍜwVQ5=q *+ҢW=6?;N|r /Φ(quEpywxKҍ\+y޼);g-b%z0̀=1e)Y&3EuNp([$p‚-#dz)XmD.H^ -$Ʌ;ܗ 5X3/4s4S/a fb 4D IԌzI]iz=WI5| ؐB虏]ꞙl;ScOe8H,- #J73TꖈgYZ7zXZִF! g]ŗXi%|$` E^(rE 6u]-η0[=Q>SZmG#z CwT#%%1.{q]:j7i5H W5b.{/:`z{ t #o ʇH"bw MB}< 02ʊMGK' .1w.*O%wqÓj@4&H `D{:٧Iy\\y}/j!BY0= .ǽ+_tkɆP4OGyx7R%Bg8r%rfN4YvQt}N..**|ED"!_4ut,PIEb5+5f%P.%i{75m/f4<RbZ9-u]NP*bSA/m-L4oq3AI8d;g]q6,{Ӭr]gn6*ҧP2,=fRi暞Kнޛ3Äzdp <1+nknl%䝜?@֟#B5YM{6$B?8pSkڼ\SLWu(g$>Kѻ|Duۻ{=W7%Ns6:ºzԶ{L?; t$B`ҭ#6l + h`\r.W%0*%3I]3Ŗt1_4悁Œig,6'_Q"` =BWtZaVQa2CQ'E-ͻT HKo!B_sn߻j0G:Fo]^mc9khClzZQn<*Þ ^k9n>bA*zЭ-!¦y=u!nV:3E+<}H 9њAJE'}K*}|D(VL$#R7tût^]B'-d?XlS{Kw]]̇=D;X'nw~irSgh@nЏOnӛKX\4Ԕ }y>U(5' 2j*?Xw?fC {yug xjiتۄ(^؏MkikyNYoB.]STܼV63+K'jf?-upgXg"piar3L$$m$;lN:y$бL9W0k?K*-Jnu";VW;Wgz#q[=D^x*ggڻcLu8- apz\x2|Vѹ|V0h$KG{\|I >L@bxd#Nt$~gr<N,ɾˑF d:6v݌>9Q?[,KDEl8]t1)QP1aJ(1l }]N0rAufkwtIfز1R&lAf;yt$m\!ؘwmEq&z>RKlWE Sc {"p޿Eop~Q̪$1 n<`qJ1\?5-M!ەw1$0i">NWPoWWNZ.OhR#*w|8?XCRZn%ALSj9p_iQ V HϤ{ k -Q/\nk2eW+ <15NZg^> ח.@׼ە@RݵQ=xԃ)n8S9Ƶ y/!9BW 7NPdpgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 67f492578d910605290e1da51e43602bc3b1ea50 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e c9b1c655a002a34eb8eae1c01b73e89464f1ab22 dbf379167f09720bc859469db1aa48b17d08b2a4 f77aeb59cb532ae17550495de1af64b6798fdadc47ba218a63d9a5add4008d0575f5892a603d9884 4904f3daeaacfbc5142ed8b1672828ef09f3ea11 4bd3b948c117732bed55852f0cd7100320491ba2 - HOL-SET_Protocol