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 dt ] Category2:threads=2elapsed=17.854cpu=33.624gc=2.212factor=1.887zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~kތI2Aׄѽfn?-+Wr8` 'r<=cݐe_Z%܆ß}Zu0W` {xZqdZ\$aKϐ+ á[':m;̏f.)=-mJۤƈS}x'i$O >'a.r@N(,TbJΞ 7#Fj린< VΙ'Z26u)$GCN-a4czڮ?%~x?᧪xNR%&tr M&hL gՊk3ta{0JeO"9|b8\V$YlT FYM_~]M).d J&{ReDFjc*4GR~H78lB0{(:$f5E&"`u󑖀̝^vVZ#aW7j(+Ը eUZ9ٗP[8+uilO.lGTN n$1Z;.iK) Ivpaj)7xmaŨ9k8*DY$vۚ]!hڻ m/DB<٤J<|aޢǙGT&,3=Z$|bդwPe$){PI8623"WMM)#>0 Fh{˥A: e2nzlo@D 'Ê] b08y >I5>"Exxxj/Z̄&I/uCI}y̒aLXQ^<|ۧM:=GJ~7HZA'yqjK0TX7Q}+o=&HS7O!81W >0vV=k[8mK&OWk[,"_!qrd>l:6%}mT% $q)EE ơКU&%X%.ۑC[;9iܩ<͘-l uAWNgAN%*M۠&L7"_4}L#HK8 #;E^N +^ *|3Ycҁ5ׄɨFm>VəQ k&O&7mu5ږasTkR*kdJlF3 61ey9>us)x|HB~״ ry2FD'| +u\Uϓ1^vf2m-> МOgYZ926729d77ba3649cb315fb65df9e8aa07dca3b811e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8   Category2