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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info *7dDD ] Falling_Factorial_Sum:threads=2elapsed=4.954cpu=9.356gc=0.208factor=1.897zXZ ִF ! j] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I3Y+: (Wa38>[o~}#î_t=G,l6:ekYh+0[`)pJJ8,9oۊ۸KY{Relh@>Lոt#:=@Ls<-,Fp|N=xiP%\l`ޝp~?[,yOtҭeRdA1[ 4X-1E9/E!ECM YpV NTg YZ7zXZ ִF ! 4 ] ŗXiɟֳ5n,)elr^;zbu?)Л\ ZG1hMzf7?$5Xn=WG$Z65c|gWfB6Q_7wUCX߉k,=4 i DFŕ Zw|yE"o ; 2Ȧ+Әj mpQ*g YZ7zXZ ִF ! (] ŗXi%;a:ZOWl ͔&l0eJvQſ&v$i H_?023MX28@Ezʍ[7 K.ߎkv#+bY8Ccl|ʸנ()h11&CJًm+]49vMJK* &BĂ){(oTi\i 8&H# jb2)BMDmϺdN% .wHw)1lc)0^$('!Ц7/5G22]%(1_ 7Se3fǕCR1˹F,ӊ9ӉBOft5=@g'*oa(=wֶNhYi>/G|0z5e~/x\tz{nGter:"bDxbc1Q~ *J3иl(1]Xmk8QW[* )^"I<* v\PV}p}lj0a5S4P=s:!FJPP%@`$*2]yoHJϻ9ߖ.knɞh=WX]A mhr(k@IR̤+\H{Hs]z\n2 $ [.Tԝ }H55"L?A `ZJ Q Vg YZa8cda0e093ddac43679087f246507a7f47a545b30a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 7 Falling_Factorial_Sum y7w% DFalling_Factorial_SumFalling_Factorial_Sum.Falling_Factorial_Sum_Inductiondocument.tex7zXZ ִF ! ] A-MՋhvG"uIBm5g!O>@3c݁%3!<Q,һۑHE4 %a'^A2}ւwwvX>KR>.u~4;bY>2{1Fqs{fx#usvD1'kGG}6bEBuxօ.Cc_1qc\uŨbz3X Xh.ˉ wZ:k;}/p8R7Ј4,)|3d \KCP,cpz7O#܂ೲm 'yxZJB .k*-H]cq?bѶ|V+α<+8exq^qpr it'$G>}\fRU"% zf;=^=S#z}[iTcm_}ìt" \<w}YsZ/բlT8$7u+cPa=%"--;-6ǽ"61ķ7CjD&R]n4"m'>ϒnY}D+Z Hk/g ,OoSRSQbe]1\oi}KY2z7jE"ktɈ Qym.>Pi|0}%< _+/A4Wq-D)Y'`*uX($KN2B+Β P_𫡳2e59`OhcI($ۏn4Y%8ׂpd%5)P0g$P{VHЎՅ0]KƝ:4<}eHPXy)瀯K&rHNffj6D,TŔFȤ;rs.ڧxF-3}ފzHأsʝ*A ,ʐt:gY2xF #s [oͪ