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 }-  ] HOL-SET_Protocol:threads=6elapsed=23.103cpu=94.020gc=2.212factor=4.077zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3UׂڧꉀKHYj_s&B,6[l X.}47hsfF0>ֱm.ާJC\0}LdPiR[G0 uZt胆ai;棕""K6bOu:̉Nqj.i۾M os[f|;LIspbAڌ%w&n''ڭD?۶Sl%h0wS jNJJn\N;iDOܱn d`~0$;mܚħ`9g`wZ:L//_}C֋x |!Ys[Uヒ6f:i45L)s- HT™X"VK[|4|2z>.c>?y9/8u]xmH`CSHk./J^%eY{ŠЛWqi` K{Tmc @K5,In4 )_eum5g5 Kf6{uNf,RPX@u&LAyFR $5Xz&ri8<<ޚ _˜f7j㍗t'$D̅$בk%Yn /m1݆Ɛu?Tr uA4 )Y @7RiRR+X4$8j͗fDF$`WRp@l{W}?: B3M_qꏳy|]^1Q ±gYZ7zXZִF! o]ŗXi%6ͫx$p-F` aSV%<~9ݝKv6d4a /w'na2Mִ$:Q]8/[}//SM&7¤L`PA!o~Cy}O ʁ 8W]l*UK{nU0{f{8: +?NS8yD :&c^*#g]EVS$NrA^V ͤIFj7EL{)PIwyxBnÕ:nμ;)?Vݟ+n!㐣5>o!|_jT*A'> FD-[&id X.Ǯi# NH.b#\aƋpjr`ylF)l_PY&i&iSgjiLaގ]F9j.+Hi >"OeH9{N*ZCdUgt/9` }32Z2Үv}%-NodY$y{' x 5d0{ r6FxKT04n-BՈ_zm0-n7A8[04+p"YU;Z鵑{dp|.hG̳VfDbw6WyQEvb$[|ԧhs369ndvzo`1Bb׫j/[Aj*a33wn@ GB3Lby@G|1q9{ϝOgK]@Y16,63@FL݋ m?SI$7PYi haVHN_4;iJڶXE-r`=ItJ{닇k-/6& T|dXV]ŏ<2;0x#Im;chy>*!]’. j&UW iQMXn6U.pr/j8^g/miApl71]yFxqP=@F2gYZee32d332d46da5e3d3be25dc40cbb36dbce30c804c1c895207ab9e683ba172ce2764b942c7875d56 b18a5a4f54c33dfc5175f5d8feb995cc7463605b da5c9424883b2cc4d138889d75bfb1bb769fce3d - HOL-SET_Protocol