SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 7 Dd ] Falling_Factorial_Sum:threads=2elapsed=5.069cpu=9.828gc=0.244factor=1.947zXZִF! }]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nm7.;#MjTѸ?P<(HЫx!mT합gVTҹ@S\Sdm̉qtCFvff?&3+WQ:caa7<\!᾽{Ԇap^WWq u:#&ql^57BSRbchhv9a>2:Nm\ytz{uc-;ϔoJa4m*GS̠F>c6asaMq;f^x62)|l?2l{xUl¢b]~;{jgYZ7zXZִF! 4]ŗXiɟֳ5n,)e lr^;zbu?)k\XWxY$qP踧\[ N,؃~$Oa*JzM;aNgeZٞF3wT_=c[tڱ W b](:5d+P lZ1B>踴Z\xƺLIcϖgYZ7zXZִF! &`]ŗXi%;3d3!!mPֲ4 /.5`Qr_+_-S?V.WQy+y[kRt\ cp薩Il}e rcg"KGʘŠpگBl eSIbfU;4{ q[J3Ic4F)ᚋ'1ZI :Ҥ1f^V%h#^n^iI.\8X]!#3ߞM4S÷ed@v9e#;:Qp,/toa%nȾ֊DtH~psÀ+mt+(6ϗWSRuS[tkkgk@F}Fr_7TvĎUdXcO!iVŒF-P!όIEw0pmx20%YF k{iGz=_^W9ڸS#2LuYlgJVZ.ؾ)M6%_c|\ؼM u:`ݨu`/9:Vqn). |yjyẙM{R%s(޴^MOPaX}JNxn! Y@sStD@te| ֣kaUz>v~=ؘ@PIbγI%R-Q`(VR%K蕢GAlM7/<8L+gYZ2fd2ef9c8a2ef6090c10ba925a96d5f837fc6bdb665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 7 Falling_Factorial_Sum