SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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\T ]/ Discrete_Summation:threads=2elapsed=3.790cpu=7.100gc=0.120factor=1.877zXZִF! D']ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:ܙA}]XUON=IjCP ln73LY0tU9Y ]Vgm]@9K) ߔWC[^*=TaQ3 T.(l@*`nqʔ>~7ZaG5&C]NkmI7%hX2bEFNkƫ7 •n'%[ (H `fgYZ7zXZִF! ]ŗXiɟֳ5n,)e m$P-SW^O]b lNdhZpJwP>s4hq˃ym{7IB- Kǐ>~2MC9i*9 V ȫM-P@gAGF|lVlc`~B#LgYZ7zXZִF! "]ŗXi%93MIol]> lCֱ *J_~@3oq+`Ǚ1ׄ:ǀ.?Ai{H sǾ-$ÞZͬ2x>ߗ)خG$xvA¦ &"]AQ$wNLm1ӂtGB0Jt{F] E~9&:ߖ7jwJgڲQy><|L3k,жdPQECB |&*5Exz8vK>&xdWm*I`z. y9D73h׃aKA|ա[q*G^;R*3(֢ Xb;&|&&xLxB$S c'( FdԏdL >g(aVAa3Ȏ_{}῟'^~D'샭1X&)ò8ƛZJ"nWٴRa_<OWZH GMNVnjD]:&->Yvu~ry.$Ȥ"*a[L7Z_hJNnw$7ϑO^)anr=nEx!J$?KURS 1*PA