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 ##Z- 4 m HOL-SET_Protocol:threads=6elapsed=21.655cpu=89.736gc=2.076factor=4.147zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 39s5l=J،O/Цy9f;j*~'U+~{0Tc!R\R XܐHa;v؜k& Op~ര}@SΦ"On *geuĐ*CY䌃%ʼn N^t$pN{|^Zur->MLoakGBtN&M5I׽,Q)28tiֳ> ek*=~({&u9r8E#2E5m~a:3ruE6~GOPu/ea]^&VݐXs(iIѩ6+ap#P^m@9C)I..XVRɘ4@B= {N8;2?[#KwgyCDmJ{q,;gz\*&c>9=Y5"5WOص T 8|emYg 50Ma6Dkb``,C|c^[6n\ByUFL7dW9i~)M {Al;#Ўrs9"9E͌}T~e#Zd+."%Psq:ELs)?2<aDO5 <"谑D> ʹ480̠c̓!vҳ$ܻbRw v05csRfCvef_%yקl5|q]n;v@U'D;Zbb#Hl{9k/d61jh EV5gaFQ.żgYZ7zXZִF! eQ]ŗXi%6oyqxC+*0\{DNݟQš* cEj/+ƌ8` Nk|6= CfֽBh E2 tJ1HBϩkv]q~i`gF#1`ĖG*qO/rHIv$sr=rd. 5:őK{t%UÄPm?]'l4Df?ay긑F˙q CQ`ksPY2bAt&s/.Ux|Na*4S}Vθ~Gy\X0##V8Cp 7r)f~,q}{85 \l#&G!F{~ƹwI.8J>&Oe^r@^QPmf BLuUȓ\-h@N£T]9F-Le<뤡|(Kf 쾙Ir-xCǚ@ >d&-8N!,Œo) N26'(?v逘&mPz(ƃ?^:{ Źז? 1X_3 0!޷g؍VFq-$` qzx'!z>(6X)d W 4! VYʎQyrڿ$bS0^tɝ ,xZJt4ϔi|_J |hAT֧Q)YEh۷4Ym/s6GPEl كӗr0CCkNUWhHV%24C#F"<[]jð=,E+m)'lo3nXv"eA}b~2{|,]h\.#]s}Rrx:nj-L2n~PRlϛf{ O+FWi UqI5qޯ_<~3LQB5] ߍ8O⠛=04XZI$[pvB9欫F#Cm7@d} 5/'ؽzU `X:!ፌ^&X^ #X"]ܤ@?"$5C.T*A^DIBVsZ݂8y,29R^-*