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 II(7<\ SS Source_Coding_Theorem:threads=2elapsed=6.068cpu=9.932gc=0.216factor=1.647zXZִF! 0X]ŗXf1-/6vR[]E4dQ\.Iu*6 7 Source_Coding_Theorem49lu;xJc#^uy65f4qOjoDKOJX.>'@|dX b7TPfA @J7j=ܦgB &xXSfuI{(&g!]{[=;HQ~= L ^~#>w[ s AShOE`lbQ4s7U˪Fs[aS^ abνo,5!2{ )P0A-.ֿR`>Qe F=$3ShWU@L^zi[FT-ضأPS`G'r^[WNS _d}/0\ ]ޠ%F)14̌]g/aMfi dE7e@ZYno0:f`*y:פv/KAU9CϘd/{} OqtR\9 j {|bY*6)#x܂(\]O4x)f*U{"%47(N"F Y]T gO)iiܧWIU\ xu'-Ī4l*m-⎜4S(T<z(-0bYR;ꞧj1Vgj"-_PJapE/AO]N'Dq?֍K@* 5ٍ C:'p{ډzhJ'֒NG8@ӹ)pE֪Ii U'庇 &VU3.Hk6!)OenJ{{gYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 060b0ab20c1a6ff0e4144288d88a86773c2bcf94 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e544207df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 e689e4dd8e5b66d1ce0438e4d78b37235fa465f7 9b5777b2744f5e0463dbe1d488b2019c496bbd5c