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 mm7dl SS Source_Coding_Theorem:threads=2elapsed=6.045cpu=9.876gc=0.236factor=1.637zXZִF! . )]ŗXf 7 Source_Coding_Theorem1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDK n:>&#v 'ϖxۚMiɀ:U 3mN`ɒZVCJߠ64޲ $⎘DWO\`{Lմkn ;m+&r<}=I0cTwHg~̯M~RA/d0wilpZP‹U-,$[%ڨLa4?֕w?FwP4KK5``f5㖶, :N5f3BIҶ-95脅GrTWwFA_8F=wV&fZZnX&.樴,̃ZЕKe>~w6{FA~+G1y eIӹ_?3Q.L?I9e<54 }2HUɲ6z[hLJddbmh1/JsKTK sca[2#&1h=V%w&n;^1c##'KG-@G&"?dsV[cS$ L}IirE֕}[>Oo.]7M-K[rPFzEi#^[C;psAʋ'tp+}!aۺuCrGM/t!1jC]|#twv'P~?Q@uDB/_eOXر|)ah7o9/2ZjF3qJǑWL\AgYZ7zXZִF! %q-]ŗXi%B׆ OM/˿tc 5>4(tam#R6ɡj}pͬA (p@V-(%Esh rs]DL(ќP᱑p'֫qrOUr[$Bsw=1v2v(Ǖv3Yaj#0w4[|ʈvlRbiG])npOU.4 5U.>L`b};sU0c6DHP5"9M!rlBsrڀ鏧v| ;V j3%rtt{[o!ŖP77 XsLkhK.R$gϟ.\$ʉ Wy|sѿF]Lو*`\0bRA;7ne4wşۆaa0}I3^7ݳIM`$X/ߋ/lMa㺒" sLR}ڏEF9D Y"66,_1| J;+gYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 50fac47188e0a4d4cc9c94173a76d826217982be 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e54420d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f 3d4014483414825c400089dffb34dee8f3340d83