#include "stdio.wts" #include "nextInt.wts" def main() { var n = nextInt(); var m = nextInt(); for(var i=1;i<=n;i=i+1) { i <== i; } for(var i=0;i=1;j=j-1) { j <== *(j-1); } 1 <== temp; } outnum(*1); outchar('\n'); }