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 k7 | 4 ]/ Coinductive_Languages:threads=2elapsed=19.482cpu=35.028gc=1.396factor=1.807zXZִF! v]ŗXf1-/6vRZyѺ-Gl5M*.~dнQӪԎv5yz: \Y}aPS\m6uI~%mq}IY56/x`|W_g``ecQ9 s{m ԿC6%FY@U 4{heY3]ez r;(,KdmrJS@W=|>9X'jF9@{Ǣ-4 g['1Mo&9D< tA $ ozcD+r`S݇9N`Ocx&;@>aTѸ|}Kv𮄨`:':T3rKhLl,Y5,< U>bWCAkowUc9B&ǔl,3x 1oJ\}|XER=C=LK~{xLTBnϿ'qI{JTw2NjgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{tm9r{{1o<'I8:ϓ{n4#gYZ7zXZִF! b]ŗXi%9#qtg I)OIozTHv{T}*bK qB79, ~ЦKl$VMsW'M@PZCГCK/V@.d&JLxDÄy j'Zp/IP{EImkhU3Dxm 4_['N9шZ= \ ̜n`Vu6n+T^X[a*YqZېx$_y/> Z#S HYZ=$\2\P)鄇ICƫ2t/H\1sC~A'Fj1gyèJ>a4h@n@'̞u&ӱx([W~O3'@v<ո^NN"u?u2q<[Z.C]wonbBsgspJ~e0<-gw݋v?it(8WeX&\|閪 %uŃV%3'bd`k$VN2}|р05OV*$k2Q4٭y~5C̹)8T%.B@C\S