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 ~1  Sw HOL-Probability-ex:threads=6elapsed=27.556cpu=48.648gc=1.320factor=1.777zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e3+ϱZ* |[/C I͏:_/$Y]MS<*Pr*A#krOI sƙCRvG'e2+4YN’KJ#b`D>~7[Y,ܫ[YpMkP!+6'2cW4@.tgM.sƔDs(~𸢓w{p^_d{')Or[ˣJ3k|?,h w~JP.Zf'ON6/e[mPGY_x%#q%1F% d7JvCfkj]}%)4ƀʀܚddc"}$ .| \!1 gl[`kʿAmN&SL}X @Bau gӱ1$j3hF@Oc !ֻFNfiArzHTLnirG^sB:9cSԻNM.q"e};V$2"'F2&Ƌ8k^vXï lkgo{2'tʥ" XMMd$NCUqT!=fkK8f3P5=qØt0BXwIsK*_M5?3J^.`~fCM:m[^XzlR{ö+lx[9*j)(k᪻,U,ed Tۜ,p0R5\az (åò_l Lt7䦑GrPƳ7D!M/(܎jl:+Cr({*}%]I +V˾ʼn2-Be 'S؀4U_+s.na 7q!FS>yĽ gȳXf1ͮouBX=2&6CҜFeɁ9=#<l,i[~rםquEFYyٛ`6ߛ:Ԧ 3@mEa_D,i͓YTWQQS|T}fh03ܚ61>omƈ;@~ /"PhX6_T08dR-2'OzPbGSpFj9&ھ}2x)j X9 t4Gf%h&᯶́7t J%ĝqJ?1C;