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  n n7d\ Sw Source_Coding_Theorem:threads=2elapsed=5.852cpu=9.924gc=0.204factor=1.707zXZִF! +]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDK6OV>Hqmˊl!wF9*g4Ǻ h*A,2峾4uC~N}30`Zr3Pv"٠Т$/E\`#5'^g7J˟d䊘E-p>0 gM^XSnah:o٩0 Jyvט:O+AP-PG}ʱgYZ7zXZִF! %w]ŗXi%6ƢU8_OhMk#[U"0R @r "\P~7|sk> =1;*8׾ (& efC7ThO+Hĭvk-m^Ĩ߭qyyzW!VjNL0f^i1~s+~~OMQd\ 6uDh6WS5-}eZY~#{ӈ%wv{ _ >N$Ш/19}ם'frk8e2L.ً ]v,{HOe>?sXX!+wYG=T]QjDm4hYג~D1Ryp".#zmm0:*$ȣߴA[e`fEVTR!~oߒРɚNGހS }ۙ+' /΢XRa4pVc;0^%2+#[9u2& qQi+:&t5wIϘtK!Ӥ$H+YcQ/vBjE~-5]"a\a67/|tPOFVQS]ڻG8]NQŏ=ui_wx..EzZe.晈&ڊCٯ\@uI;3^&mЅ;y43 6J^&gYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 8e1be8842734d621b02363294a6667fcb8966f5b 98afc084f43e0ef865628705ba046b901f906d39 db78b058288e66449a5632318cd0448d85230088f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2 099d6146b83efbe7db34269cb1d2c2c87eecc7c4 50fa91ee8fe18fd2fde8409cbc55ad1420b6b860 7 Source_Coding_Theorem