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 J1 dT Sw HOL-Probability-ex:threads=6elapsed=26.631cpu=47.260gc=1.232factor=1.777zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1DgU)]br ۴"KFgp2M{U^Ė[X[Ř(:ټvGzK`KL hC<1YOǭ1<@١P[[,oL@4@W'P6 OH0TKyы?3WRZ~%i&8}6d8<Ҕ|pE%htR/vM'=Lrf_սǡدyLr`96Ryv{tE8. ׭t6:&2Lzi $њ '= B}(a)eщO0o,&R2b"AaĎeJ97K.`+w(n i2o'\i=ѯ!G)J69'aiҋMM%~B~Mh? 1n63)?]1APRPͳJ&96:kl ZFhTE ZDGqӒۆ<uZm˜# ad'C"͞ `s/fR)eG>K^{HqMp~hC$|ܓM0'vV)_<'HGaXy(3oH@&02FM=vbEsYi*g  . RU} rN&Y)VȰ?O>?ns[8+>-؁8U}*}?XF}O:kF@|]ĵm }g]_#@eˏyp~f88aO.+5rNVxR\jx NQ%:n/MxjVpoxƐ9\|9탢mN"