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 7LD4 ] Falling_Factorial_Sum:threads=2elapsed=5.101cpu=9.212gc=0.168factor=1.817zXZִF! -`]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nԍ-~vT6Ŭ@YА 7Y{ST<*/J].)`M?&ybxmĊ9iZfdė{Y,IDx!DNx3ާA| NT NCَ(͗4C9V D@bN:TURKA[.Q?CWѾP)d4BboV'&n6? uU|bXGLjnVZSѻ4)|<}6 ?"x^?'쓧Ȅ֐QnWjgYZ7zXZִF! 4]ŗXiɟֳ5n,)e lr^;zbu?)2/Z x͒ ]a{u8vo2}{>^ 鼮=CYb}~?똼s踐OJͳQ5{&WPʧB&20"/vo5P/'T!?7ʽ<wnŎGܯNids7 Q "۱gYZ7zXZִF! &e]ŗXi%>gx:ɑIcm(@$x:@i dj?"-ETnQ"1d7deg}C۟&g0adݗd2Sr;3P~3c3O NʴGlT74d)5ψ^&)DTkםnͤ_Z.롻:ee-Oc7p'I^\IEz 3zn"c@2YPogss7⒤Wu$w41i6U3ۖ{w#xrt+fÖ=JY)a{JMF=!/],L56~KΚHC M>-tmEofUʧ3x@,y%WR''E~7$GCRI08_#)I6/[e6a"G> dV hQMJXZɋH9 0cI`Q!M@yYn,#m ".986k>unA?q\x-a啽{$z3[;"n7IZ!'(DX&GL{<ځZD0/>hxB __zYf=Pxr)~o5$iUѦ\z4vljx {V]U`bh@玾zt`8ݚ]Uѹpŝ4kh$1Ϡ.`grݲj&0K c54mL IcgYZb6a0596462c3b5347cf7609c01253cfc0924175e97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 7 Falling_Factorial_Sum