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 #5   Lam-ml-Normalization:threads=2elapsed=9.728cpu=16.160gc=0.800factor=1.667zXZִF! 78]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0zd]'GȦ*P=T9bhd-*rnLL>K+ nӄPi[ьf {) kvh)qc[a[/PDܢ넄vnl6C17u`l0cJHCը(|t/UiG 4Qu7oC<1#P}S2{5W]^H+fs>\vrŀjp) ! xvNXfdirfU29dadUNI~2/IoeƵeRPHfwaْu`]Q.Gi f\ge㜊)-zseĥue$>d4(/b14q7QeFo>93m|A+ng-nS)t-i 5 Lam-ml-Normalizationň[sI>~G1 I֝{GX5ZY}$H|@٘ ў{\/scuL%4,qX0Z,.SVP aPVm'3A"J@zz4Y'開VIث?v&muw` P{B}S'3V(kH "-s51Q YJ=0>X4hT<j 3V.bYTs_hzo}\lnt[?0sPhDK0l*m9B N֋w{85_?(r8G^d̩}㇙?y+k4}̷|kw-mr ;7w.we2JdRFWYR_|1t7_-sVy_bPW9@_a Ep"|v n%0~jFe_B*)*r)]"'o{n o2x}D O^Q`v ng^BgYZ7zXZִF! 8$]ŗXi%DQFB(Bȼ`XEf?Vf̐5'Ajm_9gԝ @ȨlnU{\|倧MҚvfr+*O\+-"V3&gBLT/qSF3n^gZ}!Pa(Wr$?.Oh7pNuvw`,w'r\RP,$zZ`j@E[qO [#Ӷ/OKI3S56'0Ă^Bj#\Pa|VFۺ=4 uE5=<^<Pqp6gYZ22153a9ee83c690aaec55d637858de1d3e4ec0dc 41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8e7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 e2bed95b9cbcad14fb09be1a9f97d747f6a61bc0