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 ,,Q# LT ]S]Polynomials:threads=2elapsed=48.897cpu=74.068gc=2.752factor=1.517zXZִF! $l]ŗXf1-/6vR[2ө=%tUi都\A9ܠ(Ês򐡒^eq (U\(~b cV'Mųߘ$bꟗAU`$zdڱUFo1 :ᲷK:Rm;;u C9Z", ?F~emR|5oCb.+ϡp1a!lJ#sĕ(0"$ oaȟȑd4TvK= X*Lr\=ZӨ @=&ۄVĬo(@N)g7S4BW}HLJ5V F Ӕ'vP)\0R:hb* k0#JOIk"HbŅ@Ԝ!'0Iնi}5r{dLӶ܈m]: )9qj|ˎz#@@s bfi v9*k,)iB|G8\̕l;ol].&_*q[ߊ`y \*ؤhI{X?O"٨v}aO ;|FB &Vez#Fa> .:ӀuHO>N7 HfDH @_߽1|x/MW#c Ԉ am9OmBu?dbk;WI]ZvtҐ&NaZbn=wZXQ9ܿZFuB<#Dq#!jOp+$Y|-\[$gLG+E2EXdE?'xRu:Tdj-9C%a u.M@iL0,p}l^`PL9ǂ4;PkT%?nhu2_wtw=|mK1`O&gt3<\~+ăSnH/wgYZ7zXZִF! Z "]ŗXi%6?/oT]0Mq2NW|;Ct e$2q~l'M vjTv)5Ƴ-¯T3<פ9*ݿyf.H-PzWE_vW_u:p&wciKGvO RMu =^zC'k A{󪸗原Xe$dѨI+,zX7Иh0G'an 5 m='΍[q2ò칎)h->C}-p\Аd%$QkB}[h1$ލ`7|L0)}4 FOt}c% VZ/FX3(γ/F0.S>'.S4Z7؏pħ;qYCz,T`|; v}&W-`C]: 7PJӰ~#;DY5)?Q @thO$}cf..jR%8fb bDf(D9vӜ T6MzNq5NO|{錉@|AIrԱg-@; ~/*KXt}/Aɕ3)UCvBqc1^U,f/f =E)&WAOW->8뭺k0%K>%-f Lr.SPsZQ;d=<j>F+z .< hw ə-͆B3f|4xB+ g]Tr'iRĖm-O{_ѣfsVBcudqVW/RM` sSB6\\8`\~E}@2 m-BO2Q(4YxmD%^'T# +@pc(_O`!~÷eZ0FsJ-شĐt+'碬@1چ㽯fϛrNaxhaJ`I?IZAuWmVI6)~7ZYowa@o?PPnզf:zJN 2،qӓ3Ϋq1v*t)qmmFM9&ˢ LɟNM#dVM0 gR4|R 3ۤ<lvn:Wb0{ޞ8S&Á``m%KӾbp`GW)?-ԫ5ڥ ho:vChf{{ZX *0Y{-B(cBP""3SCW[5/eSAMO/sՒ|'!DKβ@l{Ƣ-N9z`"^)KS1&s;4,/|\6jx{{n9Vѯі (#Qw8dAפ!{jyZO!IKLC'DЄTu \ ~2IBV{Q޶4_|zЇ\Vuh bfZH9řU>|s?sdK}W M\_j[˜e;Anҩ2RjZ :ۡ핷0p[OO{5d >F0d4y.m4( 8sm|!:Ww tϪ0TՆ>ImK—؂ ~G: Zі~1pcD;h[tVEph=0Vi5tM*[P l5ZE=ݲ>ټڸRs0p/)Z7U(C.'L /lVĨQa."0hrI0JX:Yz=Y4U˙B9q';Pн$qAԗQzo<̠SYpij8ׁ ."ucQHzmm"<[Qy1Vұۃ *v92{yE%3