SQLite format 3@ .0:  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 >7lDd ] Falling_Factorial_Sum:threads=4elapsed=3.061cpu=9.452gc=0.104factor=3.097zXZִF! o]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dҵ ]|!"լn"& /P n[,Ju͞^8j@al Dx.0sG"FsaSj f~zp(.FWdJw< hOjq&KH" p Hywe.zݺk㱙&Ep[ptx& P& YF.\Ӳ-Josfb?Oaƛw\/@?ѓ\ijn{;s:_>`aѬgРZ*%l4r$b2ބ*QgYZ7zXZִF! 4]ŗXiɟֳ5n,)e lr^;zbu?)`+MFS<57 o̎I&m!OHPfԶ`&#㕟JY(hvi|  UfP\<&(bǨJ[ܞqwR _w7`F(66Ǘ \&[D! mbsm7sx(k:lsabxmpQ*gYZ7zXZִF! $)]ŗXi%ES3m[ ر ؓ]T5P$G:*jݱU@5J\v Cd3vD9_S =e]r΋wʒOs[&^D^D-#=8ሽ_QB϶l暄e+JC-X>Kmˍ'c\n=gx*֊pT.w ;}ˆ~9g)~ˤ<Fc3qeF0!iΑ3&/\UjNj-.tq-OGV_`;5(ߣ.f2J-v]C6g兏$n0׆:3%<q0ZEX8aL}Y6L?;eTr^׍6n6W!R5Q~QHjqbmwzcM01}]%U *xu0J:(ѫC$N0͞{(P5w,$S*>t?qlQ 3E~WmeZA~'q"?:U0xuM4z%`@ j͝]6UC?nTKϐҚg@cuOw N`TF iIv%UOL&R/<4,6z)0L̍ȅdE};]!"HT[gYZ5e27b6ab44a7052cc64e79c8e885b87367f2bee476b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 7 Falling_Factorial_Sum