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  i i L ] ZF-UNITY:threads=6elapsed=5.190cpu=25.168gc=0.840factor=4.857zXZִF! []ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄď g)[:GD1+%wՂ>퓢d%7GU|4=lIiZvX#\|ZM~ߊFw8i?[_]҉g00\6Vw4[2z/5oby[?`PNT䂧y PI  OjnGyT6m;1Y N#:\(4u FNq @R9;K^l۟=-đ [/6'7Hrs}kPڂ)DڱvBMr58{{:/3/@6&LZ iL(l >ϟo)DxqFI?+"I*~(j9+bb1BU;ꂝr1X@g?~~ #[#27 g9ؘX4XmXlrgYZ7zXZִF! L]ŗXi%6ut,TF<7aR5Uv mMe &n϶lYYЧ?yF2Xǫ2("N=Tqhװ>QMe6+$CQx?iWq ?- y3*PsY $'fnAgw~aAȁ&z`Tq5I׬}&cdV̲M^t=.ݫt cܪt+G)cPuZن|KfOdoF%j1昪 KRc[a;u]ž9љ7;m:V ͥ8%S5#T3ZO@ Or=O%L&A'r0u|v) h?Wh y,X &(!ޜCJ"BmYZè?DKHzzELABhYȸ@LHxoAFa*[&ٍ'kw6ՅsR>N.Zuk:FYݽ'$GRGw1a: ЦD9* 3Ǽ@ч*daօK"S%wj#w((|F%)/}1x