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  ^ ^1|l w]Discrete_Summation:threads=2elapsed=2.990cpu=5.524gc=0.108factor=1.857zXZִF! <]ŗXf1-/6vRZa*Au&܍ׯFm{"!Cxzzh N: $ňf}=YrvN^2n!c) ;p!SInCY&3J좒v*yCA{0 57 t:K3mfءKo_?ԼEOGZ|r`Oç+ w6LjEԶ"s0خhK gYZ7zXZִF! K.]ŗXi%6S&%  C,:ςlj+iSa_qsh0Du%!V%X\乾: j AYɭ9_IknW becR,GҀ0pW:f;_J񙽵Q-qE A1V L|6[e5YّX89ld&KϵYߢkXJ4lRx MgLfK'+ v rkDYfNgʖ)P#M8Z&inV_^@H]xGJAF_k-:)̨Py*Lcz}=,j uB;sI]zOKtJّ)`XZuV-*i71yr<Ѯ Ss Hٮxd13O f&{^Ƶܴ`ݯ4֎j/*M ˰g?OB4%hUfz%B֝F&Ǒ-[KɃޠVSrkxE3>˾@e3V.ugYZ24a16ccd7d06b41b6e68771fea5335fb8a4e84cb 43cae1be099d1c213eaacc3f2b98abb9cac22882 7ed62bc2552e06c4cc7af31812f96e0c25c73884 a6d5f38a796d2f9824edae8fe7d783b20be407fe de7a7ae3ff75272fa91bd120804f1cbc7b65142e eed3763e145c3217bd1006079917bcf0c4820987e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2e706bbc8bc752c2fabd5acaf08d6ad9748654df4 1 Discrete_Summation