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|L I/]Discrete_Summation:threads=2elapsed=3.472cpu=6.988gc=0.100factor=2.017zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrv,ɽAN kCo[}A6@IV uJТf$nPgjdŖukXk۸7m-\1T%AяEVF3J6s"nSXx;,W^ cZ#h{1ߢ ul³ɣ^@(q(rߞP>h#w&̯ީu.4U~" օOwclhuTB{-[8=H,PtH/ORF0ETݸ0pen*s#Kz8GVE,횊M=1d&iu@]צSHUJi?U87MFn[cP7R L~D>I JXHT(Q;F0,bprZZ QD~i<v7cMY2Xv$U>) c4Hm>dCz!RL "vZ.\& :& rЛܖl>`Ë\D8tMl0r3?ltc" .t]оX±  >זj,jMa,bN⊗CbqJ$,Vv6 gYZ7zXZִF! `]ŗXi%Tx 1 Discrete_Summation PӬePܿ'n7E~A0RȎ)Vݞl(r[ߘƢG.&> v$?R&fm$ P*[5H.&g7 v/[t[0ߓv5vO'㼈4-/&DSZ m'hoacۡĮ`WrLc>"d'eSg^q/Rա)9/o9އ:[)B/g'8hÄOkC,O4LyA(i|ܦ%k~J9`DM[`1jA4z앤 ґAiU\&e Mpt@jo @wuo;3LgYZ0f9dbed5f85a5e8a5c8bbd0757a977c5e8917ab2 43cae1be099d1c213eaacc3f2b98abb9cac22882 5a69c90228932d66a2b10333aea5f1364eedb41b 5ed3c1fcc261a5e3750c43a5f4cdd67f333ab74f 7ed62bc2552e06c4cc7af31812f96e0c25c73884 ec2e32f7118a1d1dc54d9c254cd254eb1ddca842 eed3763e145c3217bd1006079917bcf0c4820987878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b28424570c7edb2d22b117e5c82412e3846bae0092c48d65