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 SS*) , m/ Pop_Refinement:threads=2elapsed=9.145cpu=16.992gc=0.704factor=1.867zXZִF! 7|]ŗXf1-/6vR[2y6ܫ: AJQtfMuG&[im27)jYb6u60ٟ0 ͍nO>ptꮾοGݢ0AfCT& ҂qB\CńЍ7⮇>|NDj wuo(MՎۅ "цܭ> p$Gp}e RU7QO Uߤ:p%Q ׃E;tGf\#FO{x/ YwR@k!/\s+d(U@o 'qBvRb1U#SJt9k %[F2\,y 5v(O AM$71wq)zzˀ5: Ukgjz3TU*R~LEbٶz6>1?+*N:T%G spRyu凫mʫ)BgBl6SBQzwg<E, 1K|@vd|.TJW[x1w~8#VՔļ @dDTNq('=][kMI_ {.FR)UKÈ@U<%X5Q{%GNwV99^g: gC+.Ś*H]$:Wo]ŬH1Go.\Q(^Bt~\o1?Q6f-ߗB`~koôʜeGn~R [;L*sehEPA 9iN3Ƚz=i2凨Fއ 7q:*cPfu$-ei(, 4PzL kބ7oL+q+= OLY}U&pA2yQ(pn?k|TOc5_x7;"~jVrP~"6SszX]i~#tz0YiHM| ͌E@vI&FO$ (Oxc&)F-7\ř`̠^beg1PE?VuBI9)_%RIݏ, Z|b@N.di oxGɴgYZ7zXZִF! 5]ŗXi%s m(϶+li Įv~j~G% i΅5<ɕD A\[[!C Jj5~|KNA $XZ&B~:F_КIs Y\e& 'QiUOؐG#wǡ| JҒ^ǀ$7r$5o9Z*q Ğ_fA 2Nㄋw3͒@s~*Lq\P l ){AneQdAc+ y۽[+{tӖĎ藐mN9&:nP3#D} '9cH9XG^*-(؟(K GseN 0{azf:Ȗr;lef5o4盫vǫ񸬩TmxIwLDP#=vfǢ!x >Zd,rj9n-۵B>Y@]Pң.РQiau9o"