SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 RR+3 D4T ]S]Applicative_Lifting:threads=2elapsed=32.304cpu=54.196gc=3.284factor=1.687zXZִF! Z]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0ܦ5RRrz:9X.T0d(iI10 ^QNx~.8vA*K[wid9 :ۼZ7QWmX}g$0@u3fWn2nR/IL*@>YwjklZr݂k<&m!\N^3<Ϙ""mxNmGa҈@VPcٍs( Y=NCd4kE-c8k<Ԇm5iiP/@Azv{hg"C;5YqeȥntYLҙ<}-|ۇJ\hsYܢ3b&&evhc//>.ޞ3*!}NPkm` P".ݽDEua(1=?#=JۨaM r|QPO(h)jMS  !qRGXd3vNTɿDeOLd9yEP5>cF' ;ET"i.>Sw7FH!]Qbg=EO8 =.XaOX7,aXP} rMAF-_W1gYZ7zXZִF! @]ŗXiɟ*Q?rͿY!?ID(@[YJbn2ljXG ёue@R&(Й=:zG\Щr2\5mCМY}`pOP11@qDo޶xƴ<sjP@yۻd)bFԝ sjOIQ>1.AOØz@Z :SՒysWF:s lWn/޺c)@$ pZK g@.Ņ,qջ\kG8^i3IH$1@D@U)FNL_ )#2/ED"'#M,u^ k_`10)/4'KUq MC(u%̓Hzϗ栚uU1G5A)ѧ7O}+` NS' 8ۀ{ ԍJ?E Q|Rcdguq(3xM L[VqB'hi%Z/z>QzEvXdƍc970 ok*Ezk9o8 f4ȱ%˕ݔqh "ɀnf3^-e|OWJ18YΌ;L9`d:˚Sg2uSۙ>#w;Mįes3ͱgYZ7zXZִF! ]ŗXi%90ø-Q~I2d>s+8IR(nQ1 H,z!3H#t(hSA3}Px1W(*_*MUg?X%K4FȘOk0<;}s|NrCfPRA㯈%`T%N W&ϛڶ (z ys-v*_,/s}u]᫐3DLRcPHA(4H32=%`B{{bw`f!ҽ8_Jn]:$ `]ZM)=ɏq*2hQ/AikRaò"ׁf߽ ~s"r>|Ph;"+S#/}ĉa@ g3:1@>v- uX NkеH-O ! Ui}N6).!YZqN{`P5@1F咊j.l^O8