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  / /N74D< ] Falling_Factorial_Sum:threads=2elapsed=4.478cpu=8.560gc=0.140factor=1.917zXZִF! fT]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DAT"PgިzڬWQ/P)ޯۡnʿ5ybʩ1+TE,}}Ð=nˆ}n6_> |Жԭ6e7IdPEON1,4 ]Ki=;M JjrZF\5 Y#/mؼ~sgTخ(9|ZDƑi B]IvN<9d DQ,N2bެ,ٞ-}[jWG&M( u/1gYZ7zXZִF! 4]ŗXiɟֳ5n,)e lr^;zbu?){qr"5<4@aP\ z!^'KȦ&Mx1Ǔ1$GQF6c~E&/^ ~eE~TrrsGk]>؃̀a%յ=͚t"QZ$?\-IpK bŸ{'Ro=_Y1ةEjue6EuAVMfC3;.xN)Hc*ec0L ܺp==ҧ5f̑DvѽL۴BY $1e1#3BR`@7s 0 aɃ9#KTo2ƍ˦c!'Ux,lvj3@)Ihʜo* n[Ju݆2J[)^UkGr?dο}0cC0k#yAzL.umdf$]^ށs/bhk `[o BJgYZ2bedef36772c034d27bf41503206c7cf0f6d9a0602339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b 7 Falling_Factorial_Sum