Skip to content

Instantly share code, notes, and snippets.

@gdeest

gdeest/gist:18e67f8c858d705ea10c

Created December 9, 2015 09:41
Show Gist options
  • Save gdeest/18e67f8c858d705ea10c to your computer and use it in GitHub Desktop.
Save gdeest/18e67f8c858d705ea10c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
(t_idx >= x0_idx + x1_idx + 2 && x0_idx + 2 * x1_idx >= t_idx + 1 && 192 * x0_idx + 192 * x1_idx + T >= 192 * t_idx + 191 && 192 * x0_idx >= T + 3 && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 571 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 571) || (t_idx >= x0_idx + x1_idx + 2 && 2 * x0_idx + x1_idx >= t_idx + 1 && 96 * x1_idx + T >= 96 * t_idx + 95 && 192 * x1_idx >= T + 3 && T + 2 >= 192 * x0_idx && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 571 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 571) || (t_idx >= x0_idx + x1_idx + 2 && 2 * x0_idx + x1_idx >= t_idx + 1 && x0_idx + 2 * x1_idx >= t_idx + 1 && T + 2 >= 192 * x0_idx && T + 2 >= 192 * x1_idx && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 571 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 571 && 2 * ((2 * T + 1) % 3) + 3 * T >= 192 * t_idx + 187)
(t_idx >= x0_idx + x1_idx + 2 && x0_idx + 2 * x1_idx >= t_idx + 1 && 192 * x0_idx + 192 * x1_idx + T >= 192 * t_idx + 191 && 192 * x0_idx >= T + 3 && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 571 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 571) || (t_idx >= x0_idx + x1_idx + 2 && 2 * x0_idx + x1_idx >= t_idx + 1 && x0_idx + 2 * x1_idx >= t_idx + 1 && T + 2 >= 192 * x0_idx && T + 2 >= 192 * x1_idx && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 571 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 571 && 2 * ((2 * T + 1) % 3) + 3 * T >= 192 * t_idx + 187) || (t_idx >= x0_idx + x1_idx + 2 && 2 * x0_idx + x1_idx >= t_idx + 1 && 96 * x1_idx + T >= 96 * t_idx + 95 && 192 * x1_idx >= T + 3 && T + 2 >= 192 * x0_idx && 192 * t_idx + N0 >= 384 * x0_idx + 192 * x1_idx + 571 && 192 * t_idx + N1 >= 192 * x0_idx + 384 * x1_idx + 571)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment