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 F7 LL ] Falling_Factorial_Sum:threads=2elapsed=4.952cpu=9.280gc=0.236factor=1.877zXZִF! }]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IЊo$5,B1RU.N&ny' v>GMKRT+R{Œ<}$JC֬"kAsC0oa0Yұi ALpЧښ(%岂_A[g">X& ,%os3+ՄѮ;MC~E qz"fdeJO/%(l?09ŭԔڗS8|q,~UK(.յ]noA= lST zޒ>Z0v^um =2y;A)22z8ݭΟVa_ x(8/QӪɂS&S&Mbc8fΗ <?+$H߼jKzu.unM;w6j%JSh -yٟ@Bi0=<@{זEB/ mp gJ$@+hP7(VIZ5q(r:~Bx6y*S%נC23hr8}FnFC0Ҍj jk0pȂZK_;FGE2'|{F8^_. k 2j_lV)Y65x+QM]E0ŵUHLyERan,TbEa{L~Y&I+]li1 #-cZqc? dOP)29LtfKa:dXEsqbSKQV )FCW`tPwW B!JiR1+LF bv4= 4V5OGR |"91(W"l'qFq̏qͤ3ym/o p tXT$Q/gYZb92532db0c2ea3ac8514cc81a2e49701be1cbc60a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 7 Falling_Factorial_Sum