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 H% t II Stern_Brocot:threads=2elapsed=34.373cpu=54.828gc=3.440factor=1.607zXZִF! ]ŗXf1-/6vR[]ׇvb1߁ݶHtV_O:Uޓ_lQ ;T~rQ(KL]X]'q *fJip1M㗧&rJ6nJ_fq:> 0w&qR`[vv֬a'T[ᱩlIh !b:iteefc/v&/¶f+m{y4Pw>2HMlXt#B&0Q?q`wuy} LsAD>¿"0np1zx%; B/EZl}k8u. !x-}x!L>y >$ZQ_tE'ْ.C Ğ#Sx]_]+p>Oɓ$kxp-ݼx&:-hwq.}p2D_q{4 $ YGѶtpB&Xb 4\]5OXs KjP_k, cU/ ۱57"S83\ w7Ng࡭XE.H"Os6c(M# :CQo#jr AGhxfng ̍(֝-$rHk?ֻ$5L*hnT``oF `_la٣IOMV۶l.uznNZɘ$8 * l.%.3FQF @i!{7ӧ,1D[8#T!UJ'!c~y~L; *RG`P-n'E;RTtj:9P;5,E^7ZBi |50B,ZJS9[`g¾:tV崁 ]x A!A{>=YZ]<_=`4+ 8V![knErkcz2kț2%;YTMKu=`R %*گL OS}yE KbUq74;Z/jt7sxFAK@MFl_\3>vpFp}BNЩN:kWh{`Q~Ƿvrº*!t/}6hhTZliUl5h#PCSMwgwon@l:#\ r>‘d7tN Q,@}B$V Tç3bfCJw=$x.sVP9ϺIsAqG߶׊iAcI/)'۪;ma+ ^3o?n؅6tïU(ar*q(u]. b7"W%"cWsXQ/yFU2ĞgW_ {CbHd-|֍3*wSrlKl5PIpH vba]%*DYuNui|hkT{r?#&%SUX)ھ3c01 <;x_'ZSH"p'U$;N9$8YnX#Q'>!tntCWv:r}1A1βx܏n㯚3'%ݦ 0ͪ?l8(4ӻW& a-E-X0OT 4d1tw77;Y>m'J%T=er/y9&i'tM&Uͦūo`# lAШ<çz%4 gYZ1605b1efeae7bb1701989ae12d10772ae9882297 81ab84e07fb548efa58a5ad78a0519825e65fb4c b048c4c894ba192ff4495d01de6dd39d08a420aa cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 e7a123aa8f6ab4bdd7b49141911d824fb0c82402 edb134994f175a0bc4e2c1336ad67621ac540f1d238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 2171a9640c882a444ab08dd88e02b67368cfa3d2 f0417a96d1122ebb466f01b001cb623414b7dec1 3632807748433196ace06af79eceed6225f05a73 % Stern_Brocot