SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info l7LT SS Source_Coding_Theorem:threads=2elapsed=5.643cpu=9.688gc=0.184factor=1.727zXZִF! 7 Source_Coding_Theorem 0f`]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDKWn:ADzPv4ZhZԪ){Kl]xp҇!2;<"Vi,̈́K`wc:xn*`a!3!~JPk暙v-UPȅ3MIՌ;±;"]b&W)⹻pOuf쨐~?<0 .Uw*k[k/"2Q_fBڶV~Kfщ΀Ay7ڤyʃRǻ7atb E{rY"B1/Ztf\Ԗkڠ]h^pj4QQa89\;9lYc\k8*kzՈ2, vXЅEn*cTKVAY4@^&Yk'x?p\ <&I[t',~4{3>370_6ꅉ7#Cɑ͉<Svn2$foqõooY2|]g‹7w&?<c[FBkr>S":5cjv$(Ab4dG\WƄ=c1͠´.t-('1T0A%MY ^˂:b_Mx+v[jJQ\Jgv:(ږ',Umnċ F~" ߏord4C`?C[SVfplÓĐ, dp9q}MOmDA\ ̋c^hNϨY)ZjR>KJ;u̒C8W9T^raE;JSo1Y%>H P4oُc[<fwWҵ٬{鑪a*lhqBaMh~?e(*7Hlg`0RԌl^< I-0>살ZK?C=*Lm2GwuxW=<^Bxfc#B^-pW FQb0(xՂ^2t-tY<ǠiӠ3AvI=#Z >lE'c3')|KԲovO^pL"Lԡ ,wC"JV gYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e54420 deb03f22e2c1d7d37eb02d23523b0eb5f5c32706878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 bc6f62a8bf3983e1ad01777897fdc0de1c61c1fa 749d92c707a6dc6341900ed8c94f87e7f444e1cf