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  j j1t\ w]Discrete_Summation:threads=2elapsed=2.777cpu=5.456gc=0.096factor=1.967zXZִF! ]ŗXf1-/6vRZa*Au&܍ׯFm{"v;I M\vnVG.&E61QzSTo7 Y%%XzGp_L ×>y,h5^p-ąZ*0Pd"^x!ojS ( ϼH}.{1:dLO԰bT7Rǹ1Cߞo~^p) 6hSz13\7;Ʒ.1trBT5Nn]cJėYZr^fW[RA+tB) jHOʾO|3 ߿c9 54A D'ZqG5eYoXxa6hP+f}|ŭhI,7&oŨ|%w\ n -DE&s/3ӯy)_ >7_ әCsHQ@ʗP'6۱gYZ7zXZִF! 8']ŗXi%9TϘ!gm^8ViVcA_OA1,g_@nsбQH%P[C M'$:bمɅSgaM~/[턼286mN'K)r-0`0@жxt_f`*/L8b⪛N{ k=]cN Ge%̄TT^}Db @b0<iU-Dfm@4)m}pBp *ւ.2_v< 1NsG]a{4ݑFNI' 41*cZ:9Fi>W8I᠃B\< rPSdK~ `'9./`_o4BbQ0Gj5C4M6|?Îَ/r{G?6}9ڡUlȚݜ~ۣڟS*[ )v{U8ԛ W&U?d~$-rɥR'`ZkPNxK@F'ТJg)zP+.tgYZ24a16ccd7d06b41b6e68771fea5335fb8a4e84cb 43cae1be099d1c213eaacc3f2b98abb9cac22882 7ed62bc2552e06c4cc7af31812f96e0c25c73884 a6d5f38a796d2f9824edae8fe7d783b20be407fe de7a7ae3ff75272fa91bd120804f1cbc7b65142e eed3763e145c3217bd1006079917bcf0c4820987db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6213f68e551d2ad14113e70e5d4db3319b419b995 1 Discrete_Summation