#include "registers.h"
#include <bits/stdc++.h>
using namespace std;
void construct_instructions(int s, int n, int k, int q)
{
append_right(1,0,0);
append_right(2,0,k);
append_xor(3,1,2);
append_print(1);
append_print(2);
append_print(3);
vector<bool> v={1};
for(int i=1;i<=1999;i++)
v.push_back(0);
append_store(6,v);
for(int i=0;i<k;i++)
{
append_right(5,1,i);
append_right(7,3,i);
append_and(5,5,6);
append_and(7,7,6);
append_and(9,5,7);
append_not(8,7);
append_and(10,4,8);
append_or(4,9,10);
for(int j=0;j<=10;j++)
append_print(j);
}
for(int i=0;i<k;i++)
{
append_or(11,11,4);
append_right(4,4,1);
}
append_not(12,11);
append_and(1,1,12);
append_and(2,2,11);
append_or(0,1,2);
}
// 0 2 2 1000
