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 gg1 < I/]Discrete_Summation:threads=2elapsed=3.247cpu=6.516gc=0.096factor=2.017zXZִF! ]ŗXf1-/6vRZa*Au&܍ׯFm{"v;I M\vnVG.&EjNe,=Ǻs(}X/ I-ePwL`!e g$nH*CLjMaH]R<3 .Z`~Gg~l zfWE zEDtO8hjQaTڃ O- k6E|K" 'vڞ[kD[u&.RcLwA\#s6j9lbw|8XKœV2} D1œ} _cTˢ-4c)omŜbE뎑Eln1Tii lׁ|ZPe'-}"O!}LDߐ[~y!فc>'74Q*iH~-ŝ ԒAnK}9 ,sB|no茉!f?ؘ YUOi!Ԟ3mdFj!pLkn! a]eѪ:t,.Nn{d8dwehjʜا#0go.$۲>(w@KiVaScN\шj>f_L.:-GIjD"3O|4ӣu=-PrU@pMV6M1ıgYZ7zXZִF! V]ŗXi%B 1 Discrete_Summation}Ag /p_9U,_6x(vy~tpM$|45z!~?9 0}(rqn%8z+ \iDP3L>p(4ҦP5lT@TLʏ/JptX7Eu u|"uX~0pI0 N'8A6{sև5E-oA-VKcfEl9X,NLp,~ zp-y&יr1B3 3@xހyIgPBzZn| {>nUNsuekedžZG6g_wZZ~i.>%st4Ah(;6!f$[!q}@gIEHMK7{r];UgqpECUѰOhR@fؗ `OaիzTL-)Md=- 08sY ڍc&a!Y%w7]DTӀ`cJq8+{vn6h ,ӳe$}Bc̞3_gYZ43cae1be099d1c213eaacc3f2b98abb9cac22882 5a69c90228932d66a2b10333aea5f1364eedb41b 5ed3c1fcc261a5e3750c43a5f4cdd67f333ab74f 7ed62bc2552e06c4cc7af31812f96e0c25c73884 9e4b941fa669b53d7abdfefbe3ddbee02f40ff52 ec2e32f7118a1d1dc54d9c254cd254eb1ddca842 eed3763e145c3217bd1006079917bcf0c4820987d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295fed03e46477421bd781b2601ea881a3918f7dff0