// File: /workspace/github_c_makefile_star2_O0/cbouilla[P]AES-attacks-finder/SysEqLin.c
// Function: PrintSysEqLinManual
void PrintSysEqLinManual(SysEqLin E)
{
	int * __restrict X = malloc(E->a/E->gen*sizeof(int));
	int N;
	int choix;
	SysEqLin F;
	while (1)
	{
		printf("Système d'équations : \n");
		printf("	- Variables :");
		int i;
		for (i = 0; i < E->a/E->gen; i++) printf("%d ",E->varligne[i]);
		printf("\n\n");
		printf("Actions :\n");
		printf("	- Printr le système d'équations : 1\n");
		printf("	- Supposer des variables connues : 2\n");
		printf("	- Extraire un sous-système : 3\n");
		printf("	- Exit : 0\n");
		do
		{
			printf("\r Votre choix : ");
			scanf(" %d",&choix);
			getchar();
		} while (choix<0 || choix>3);
		switch (choix)
		{
			case 1: 
				PrintMat(E->mat,E->a,E->b);
				printf("\n Appuyez sur une touche pour continuer ...");
				getchar();
				break;
			case 2:
				N=0;
				while (1)
				{
					printf("\rNouvelle variable connue (0 pour stop) : ");
					scanf(" %d",X+N);
					getchar();
					if (X[N])
					{
						if (E->lignevar[X[N]]>=E->a/E->gen) printf("Impossible!!");
						else N++;
					}
					else break;
				}
				F = EsachantX(X,N,E);
				PrintSysEqLinManual(F);
				freeSysEq(F);
				break;	
			case 3:
				N=0;
				while (1)
				{
					printf("\rNouvelle variable (0 pour stop) : ");
					scanf(" %d",X+N);
					getchar();
					if (X[N])
					{
						if (E->lignevar[X[N]]>=E->a/E->gen) printf("Impossible!!");
						else N++;
					}
					else break;
				}
				F = ExtraireEX2(X,N,E);
				PrintSysEqLinManual(F);
				freeSysEq(F);
				break;	
			default:
				goto fin;
				break;	
		}
	}
	fin :
	free(X);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movl 0x8(%rax), %eax
movq -0x8(%rbp), %rcx
cltd
idivl 0x10(%rcx)
movslq %eax, %rdi
shlq $0x2, %rdi
callq 0x21c0
movq %rax, -0x10(%rbp)
leaq 0x22ffe(%rip), %rdi     # 0x35340
movb $0x0, %al
callq 0x2100
leaq 0x2300a(%rip), %rdi     # 0x3535a
movb $0x0, %al
callq 0x2100
movl $0x0, -0x24(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movl 0x8(%rax), %eax
movq -0x8(%rbp), %rcx
cltd
idivl 0x10(%rcx)
movl %eax, %ecx
movl -0x28(%rbp), %eax
cmpl %ecx, %eax
jge 0x123a4
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x24(%rbp), %rcx
movl (%rax,%rcx,4), %esi
leaq 0x26d6d(%rip), %rdi     # 0x390ff
movb $0x0, %al
callq 0x2100
movl -0x24(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x24(%rbp)
jmp 0x1235e
leaq 0x24b2b(%rip), %rdi     # 0x36ed6
movb $0x0, %al
callq 0x2100
leaq 0x22fb0(%rip), %rdi     # 0x35369
movb $0x0, %al
callq 0x2100
leaq 0x22fad(%rip), %rdi     # 0x35374
movb $0x0, %al
callq 0x2100
leaq 0x22fc7(%rip), %rdi     # 0x3539c
movb $0x0, %al
callq 0x2100
leaq 0x22fe0(%rip), %rdi     # 0x353c3
movb $0x0, %al
callq 0x2100
leaq 0x22ff4(%rip), %rdi     # 0x353e5
movb $0x0, %al
callq 0x2100
leaq 0x22ff3(%rip), %rdi     # 0x353f2
movb $0x0, %al
callq 0x2100
leaq 0x2694d(%rip), %rdi     # 0x38d5a
leaq -0x18(%rbp), %rsi
movb $0x0, %al
callq 0x2220
callq 0x2170
movb $0x1, %al
cmpl $0x0, -0x18(%rbp)
movb %al, -0x29(%rbp)
jl 0x12432
cmpl $0x3, -0x18(%rbp)
setg %al
movb %al, -0x29(%rbp)
movb -0x29(%rbp), %al
testb $0x1, %al
jne 0x123f8
movl -0x18(%rbp), %eax
movl %eax, -0x30(%rbp)
subl $0x1, %eax
je 0x12461
jmp 0x12446
movl -0x30(%rbp), %eax
subl $0x2, %eax
je 0x12493
jmp 0x12450
movl -0x30(%rbp), %eax
subl $0x3, %eax
je 0x12557
jmp 0x12618
movq -0x8(%rbp), %rax
movq (%rax), %rdi
movq -0x8(%rbp), %rax
movl 0x8(%rax), %esi
movq -0x8(%rbp), %rax
movl 0xc(%rax), %edx
callq 0x36a0
leaq 0x22f81(%rip), %rdi     # 0x35403
movb $0x0, %al
callq 0x2100
callq 0x2170
jmp 0x1261a
movl $0x0, -0x14(%rbp)
leaq 0x22f8e(%rip), %rdi     # 0x3542f
movb $0x0, %al
callq 0x2100
movq -0x10(%rbp), %rsi
movslq -0x14(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rsi
leaq 0x2689c(%rip), %rdi     # 0x38d5a
movb $0x0, %al
callq 0x2220
callq 0x2170
movq -0x10(%rbp), %rax
movslq -0x14(%rbp), %rcx
cmpl $0x0, (%rax,%rcx,4)
je 0x12525
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rcx
movslq -0x14(%rbp), %rdx
movslq (%rcx,%rdx,4), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x34(%rbp)
movq -0x8(%rbp), %rax
movl 0x8(%rax), %eax
movq -0x8(%rbp), %rcx
cltd
idivl 0x10(%rcx)
movl %eax, %ecx
movl -0x34(%rbp), %eax
cmpl %ecx, %eax
jl 0x1251a
leaq 0x22f49(%rip), %rdi     # 0x3545a
movb $0x0, %al
callq 0x2100
jmp 0x12523
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x12527
jmp 0x1252c
jmp 0x1249a
movq -0x10(%rbp), %rdi
movl -0x14(%rbp), %esi
movq -0x8(%rbp), %rdx
callq 0x11aa0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
callq 0x12310
movq -0x20(%rbp), %rdi
callq 0x12220
jmp 0x1261a
movl $0x0, -0x14(%rbp)
leaq 0x22f02(%rip), %rdi     # 0x35467
movb $0x0, %al
callq 0x2100
movq -0x10(%rbp), %rsi
movslq -0x14(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rsi
leaq 0x267d8(%rip), %rdi     # 0x38d5a
movb $0x0, %al
callq 0x2220
callq 0x2170
movq -0x10(%rbp), %rax
movslq -0x14(%rbp), %rcx
cmpl $0x0, (%rax,%rcx,4)
je 0x125e9
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rcx
movslq -0x14(%rbp), %rdx
movslq (%rcx,%rdx,4), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x38(%rbp)
movq -0x8(%rbp), %rax
movl 0x8(%rax), %eax
movq -0x8(%rbp), %rcx
cltd
idivl 0x10(%rcx)
movl %eax, %ecx
movl -0x38(%rbp), %eax
cmpl %ecx, %eax
jl 0x125de
leaq 0x22e85(%rip), %rdi     # 0x3545a
movb $0x0, %al
callq 0x2100
jmp 0x125e7
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x125eb
jmp 0x125f0
jmp 0x1255e
movq -0x10(%rbp), %rdi
movl -0x14(%rbp), %esi
movq -0x8(%rbp), %rdx
callq 0x115e0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
callq 0x12310
movq -0x20(%rbp), %rdi
callq 0x12220
jmp 0x1261a
jmp 0x1261f
jmp 0x1233b
movq -0x10(%rbp), %rdi
callq 0x2030
addq $0x40, %rsp
popq %rbp
retq
nop