@prefix : <https://eyereasoner.github.io/eye/reasoning#>.

{1 :padovan ?Y} => {1 :padovan ?Y}.
{2 :padovan ?Y} => {2 :padovan ?Y}.
{3 :padovan ?Y} => {3 :padovan ?Y}.
{4 :padovan ?Y} => {4 :padovan ?Y}.
{5 :padovan ?Y} => {5 :padovan ?Y}.
{6 :padovan ?Y} => {6 :padovan ?Y}.
{7 :padovan ?Y} => {7 :padovan ?Y}.
{8 :padovan ?Y} => {8 :padovan ?Y}.
{9 :padovan ?Y} => {9 :padovan ?Y}.
{10 :padovan ?Y} => {10 :padovan ?Y}.
{11 :padovan ?Y} => {11 :padovan ?Y}.
{12 :padovan ?Y} => {12 :padovan ?Y}.
{13 :padovan ?Y} => {13 :padovan ?Y}.
{14 :padovan ?Y} => {14 :padovan ?Y}.
{15 :padovan ?Y} => {15 :padovan ?Y}.
{16 :padovan ?Y} => {16 :padovan ?Y}.
{17 :padovan ?Y} => {17 :padovan ?Y}.
{18 :padovan ?Y} => {18 :padovan ?Y}.
{19 :padovan ?Y} => {19 :padovan ?Y}.
{20 :padovan ?Y} => {20 :padovan ?Y}.
{91 :padovan ?Y} => {91 :padovan ?Y}.
{283 :padovan ?Y} => {283 :padovan ?Y}.
{3674 :padovan ?Y} => {3674 :padovan ?Y}.
