SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 22K7 4L, ] Falling_Factorial_Sum:threads=4elapsed=3.668cpu=11.440gc=0.176factor=3.127zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^W>GJrLޥkmW.  u;OC$5=y$](X_(Ŏ}HZOxN)[l?Qca3 MC=\$$9wvl1XBnj9( >mIOěc鯗M4e.aٍ|qk3#$a5~N6,3zİeEԠneE*Rxd`#p:RtOC5i1?[ :E  j2`>gP,?D\!fJ1KJTjj$"ev@;ʫN\"QfFr~쓻|up@@]qfgYZ7zXZִF! 4]ŗXiɟֳ5n,)e lr^;zbu?)sXdvдi j)ېLC4 ^K:jyKw#PEaMPw`Te8Ĕs@˝>ԡQ B v tdWK4XZhL'0(RR2RZ*(+iCr1"J;(#J THʿ? s9<`TKS0&0Uo"[e`t?BjQAyq.qӃOI.9SћC ؆*FYl^2ѽu1Nsi"M8J۴/_DҌFתixy!70qNtGMV_(>W>1ИVeQ hlTWzQN# ]:Ǜm[q*'ͦ }.ERbH&ɣ?M).`F{M yW+i챹 u\2rbb^O44ˮRKNiӓ?OW,#S䶯>gYZ8894ced86471c0eec298a80b7f01acc03025661e5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7 Falling_Factorial_Sum