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 qq 3 L c]Bell_Numbers_Spivey:threads=2elapsed=19.618cpu=35.360gc=0.692factor=1.807zXZִF! F[<]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}eǂ^e&"mG~H&b VQrRMf42< NfW{!ݒ~ʳfSGxc41A&s%ɸ6s+ڙFDyt6TЧF ή4FS>ـ֨ӹ4@v = qzu]TĶG=B` 񩇢RȦIi}bk.HM_ʡ xnE9 jpwK=s2nuM}pP૾/M;j?ț핗<1^9ذrQ'Y>5[ H䲓sɗxsA@}[@,9_q$NT5ׁw3G[+(nQ!C b}،~[}VbH݆LBt1T4$-M%#[],D?C{ ĈV ¤^>6i ץI(J2β""q$~w ;\{8Yh[\=I׷3das"Wq2q.=q)1l[{٢4'gV4HdNKӝɮ=Qf]y[we-X0ΰnOnWU.t#PE>@Akf=3O A%_R!j x[-<=>BTҳ" &&FZqπ `|Tq_w+9m ٪߆\g{2Ly=~otP=z(ܑmOCsOŬ /nyT5g"ɓbŽ`!ŷ8[si۴$.S!&+WL McW(sB*tU )MZ~&wr Oן=Vh D)Ei K~9?kS ܌>gYZ7zXZִF! g]ŗXi%sSh2zFxMMOͧ* R\Dgr'L)o-=@ eiޥZD.Ye_WV .%懶X8N^aqn;\Q@~Vjٹ%3VpS$>1Qr_*%-Ym*:IJrУNhwT8FT)d_ӓ+V{h_s64[Oy&B/s}XOab;8k7Qe"9 ӥXQH{5nGAo3)n}W4 u6tdǪw2aկ`B6ʧn^ ]әPv:'㔉]4uQtCIJh bY@}U%tEwFN WqE y:C. dsiσ?3v4׹^)l4vuVw˝K(F%j%0hMHgBI\%C_`utPs) {aqߠg[IסT=V7"((v|H@y3VM"@6|b,'- =DS3ԆX El]JU =koY*SPW!-^Ɗ2v.2LdTN7=/AtQ"]pl\'t6 T zQ:7iӛY HFB/!hBw ^ːq+`:#HMݒ\\uy ~X^}1|/a;@fza[;-[tp1$3v7Gc*YBzH8ua"U RYuD>|g r@V;:X/8wWgYǙ=sZg^̈58u-p2]J:׍AK>M]2b!1jKRb6ѴwlʪRߤy6؅M_<릳QIfҋK;CvMCS2^M{g6ԡn hc)j[8>Nڭ@Ɩ~@բgT~C@@B&SN0X? v/Gœ;TTv륏2=qܶ58&lHdy /v{A}Oƶ5áujo?FӣZGHAS| a0x,ا~`sF