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 __1< I/]Discrete_Summation:threads=2elapsed=3.652cpu=6.732gc=0.108factor=1.847zXZִF! ]ŗXf1-/6vRZa*Au&܍ׯFm{"v;I M\vnVG.&EM28|8Џ7e< z+Ejd3  h`x4]8JXU"Ԅ0ίi" t$@2b~;Gre(z533$ x:)jݼu(c5`M>A{ץP7c",30e4eHX^>Ԗ|̊+W~@,\ +Q“tgN @H@.iYp]|=): g8fr4k~VB1m#n~$#ZԢx2ylX;2 ׯ}Ɂ1/5k/ C\Z.G;,UI_FUрqhF4QNt`8]_JV.Mj%`$M̲^ It>_tԡp{ԁ=8>(B,V-qжbv-A7{^[^ |/K` ȆO]m 9iWk323 D!gYZ7zXZִF! ]ŗXi%HXdsrFqMh-_#EC j jK`tZh 1 Discrete_Summation񹉿My8L+f0G.wS]RFu;,9ž^^&CKs#}Tt}iɑσࣣ>PR7kgYZ43cae1be099d1c213eaacc3f2b98abb9cac22882 5a69c90228932d66a2b10333aea5f1364eedb41b 5ed3c1fcc261a5e3750c43a5f4cdd67f333ab74f 7ed62bc2552e06c4cc7af31812f96e0c25c73884 a465491e1fb9567b1e040a05edaac21b0111a507 ec2e32f7118a1d1dc54d9c254cd254eb1ddca842 eed3763e145c3217bd1006079917bcf0c48209878c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f0735c229773512ce6fd1fd8557827ba6e671444663