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 f1 t| Sw HOL-Probability-ex:threads=6elapsed=26.606cpu=47.504gc=1.288factor=1.797zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1Daa To;)*65ƶUq#kPUy2W:H8*je P[nZU&x!Tоn=htm= y2w$߲Je^=1@HV4^Hg-7,r>+iuI?RdW*Nob$2"ހrɕoX8gtB@O/Q?!Ubt,&$#c>Tʼ-U4w# &mF-I*"sbHbV|[;qbKI[A9~30VR\>sqg\ȍq Wohqr"^rԭ`3&I4E7LhD~wVba(t[IZYXp~Đ>%j[šEj$R+M4W &!cj){ˏVs-s4с\&_}3tۣ5ީSA-o[ȬBi6e DR?}.rʌ @]L"Iś`Y\7+ _t3c;Ī{I {1VVհG#cnnH\i-DfA_dzǝ'RS+s?Պ4<ck"%RaG~N!]Z@|4\Jo 0=)>)5\E]u uh?{uFN*|@]k26u;21GAIt@`(n޾V N0Z,uMc:{M9Cx$s@fZkt$2\> C>uȗxhGCߙoa bDQIǍ^IYt֔<]34} ,&C"9x1?3n/@ktSGqD?Uȡc+Z:! 2>s<m~-+Ԅ)lʇQ_A,^PaӺT?fDEϋ 5qfMҳdR0q !ׁKGn[aI"XD~Z؀"2\/rH(Az ~Oۇ],1PJz0Z{`싨X_nMX|/W"m2w@]QU  CxˈM |O Z*vG]9~ZpåQ 0Hě+TܦAC{^=Q] . :L5ӄ>SHwp$mN$a,87DօaZw-s33Dl7~հPwC>kY֨E;s(:/\Wx4^ina3p`&Tc^k/m h<)ɽƓ8zֱZMfklxC*J we򷕵m)똺a)99~Qk8粫KF@