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 -l m HOL-SET_Protocol:threads=6elapsed=25.009cpu=101.576gc=2.400factor=4.067zXZִF! ,]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3W@'? 5K<; يGTE͋h_0&OѹgD(qN TQʾfPaS}.c#}{&ʸӹʄڏ3T]zAٞ0cҭyjПfhf&ٌN/|QjP{LFik$q_>2ưFx P)0_5-]M-vʠ9~ şWδ*Ƨb>v nOlü0S tTƱxD#gv0H右L*{pSN/jL̻~G9(.tա &|]7D9=$^kC3C8)4[_g A9SdvFGԞ..pǐL! 6`_ 2SK K+焗@oOwޒMNv74lY8 >.ז=,¬2ׇȺNOu-d/;h U3b2xmgv bݼx$)S-->}`rD, #oJ< -J)? lA Mel񊺿 tʻ|6͖J?@[i9bA R,y>Z]KPOਡպIј.rG,~72oiqlÌ10M$u.m"bIdƂ^0M{AI LbtMBUA볜Z![yBw5̠B7/h%)b1 x_VELjM^Z>Nbz^wq׉q.xCgVOGs\ȘhiY$`Ud&ϼ<wI,L*׀Uw٠'PNS}ӥj^Nz/}uE=veF`˰W*2Yd1gYZ7zXZִF! v-0]ŗXi%6l2m]J߯P܄< U(x./#ܸ `Ag#3͠%! ݚpٗ,dojXi.$3{)Lh1! ~奣Jc;2a]-AѿnR&Py`mV6̉Ĩ?uRg~*#f{5Did땉yi;G5MR8/$f\FV)X -ї|7"̇#iW!$&׈ NV%#2 T/^"d!Ϛ>쳦ކaGipXL`J3&DTJn.b @ZH a6Z>dZUSaaw䘕X n}D o?` Y~!=.Zuo3oI%sxԴHx>ݺCzu_Jh5Ӊd Dkm._,/k]M/PKz*%7%XPISDȳUTYl $T3m!ǚf/%uP\+Wl z>ӥDq=>EY8 WLlwւ]9xxeke,LdrU>}-Bؘr/AnX?o: "HIgYV+_Hض(W>࠵Tuj䛟Hs9hoʃk*$V<@rdIɒnO]x!9N] CPKnΠi hJ 0 n.z ̮8ϺMAjć`v.lV#LidY$h>{% GLۯQ'dusM= ^ԑ mAF[K="XW~TS}0t8,M{SҘDґ=o*2 l4X fD ඘EvRVʴD[JO0)tb$i~TDpNFR_ղF(]? Xh A#kkϥ @ϔsXuY/lcn0Bu?Z?mj$T37srO~]f@^13(|(Q