Skip to content

Instantly share code, notes, and snippets.

@ulfworsoe

ulfworsoe/large_factcheck_test.jl

Created September 7, 2016 12:11
Show Gist options
  • Save ulfworsoe/3f8c34d2d1998e4e2adce09d42855f64 to your computer and use it in GitHub Desktop.
Save ulfworsoe/3f8c34d2d1998e4e2adce09d42855f64 to your computer and use it in GitHub Desktop.
Download ZIP
very large FactCheck test
Raw
large_factcheck_test.jl
using FactCheck
facts("[Mosek_consts]") do
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
r = "XYZ"; @fact r == "QWE" --> true
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment