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 7lD ] Falling_Factorial_Sum:threads=2elapsed=4.549cpu=8.992gc=0.212factor=1.987zXZִF! Lm]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?<f28\+ao"ZUawv;d{%KA&SG"gpl_wN !ii&,p'wF8KI I! {;n; MӐQD&R `׏-.$)[13cdvg +y@7Os/} 3Ɖ5hsgēLJYNWX$۱gYZ7zXZִF! ']ŗXi%93M8j2n+^L+%g.~2 (~6*ՀklrUv|+k%+hs@VͶj&,m\B%zi&2y&[^YԪ(moz.f7*Ƿh=07'pEC %ɥﭵ+ׄ0y #{Co Wu/}Ϻ7.-A|l8e % lr8[ |Y#p1ypݸ qx1(jBIyvpxJr0m|\бF&P+Xf'B ϢJv ;SPN}(."Ֆ;5$XNh