doc/025-sockeye/example-facts.pl

10 node_accept(["LOCAL", "root"], [block(0, 4276092927, _142)]).
11 node_accept(["GDDR0", [1, 10], "RAM", "root"], [block(0, 4276092927, _152)]).
12 node_accept(["GDDR0", [1, 11], "RAM", "root"], [block(0, 4276092927, _152)]).
13 node_accept(["GDDR0", [2, 10], "RAM", "root"], [block(0, 4276092927, _152)]).
14 node_accept(["GDDR0", [2, 11], "RAM", "root"], [block(0, 4276092927, _152)]).
15 node_accept(["GDDR0", [10, 10], "RAM", "root"], [block(0, 4276092927, _152)]).
16 node_accept(["GDDR0", [10, 11], "RAM", "root"], [block(0, 4276092927, _152)]).
17 node_accept(["GDDR0", [11, 10], "RAM", "root"], [block(0, 4276092927, _152)]).
18 node_accept(["GDDR0", [11, 11], "RAM", "root"], [block(0, 4276092927, _151)]).
20 node_translate(["DRAMMAP", [1, 10], "RAM", "root"], [block(0, 4276092927, _182)], ["RAMOUT", [1, 10], "RAM", "root"], [block(0, 4276092927, _192)]).
21 node_translate(["LOCAL_SRC", "root"], [block(4096, 8192, _172)], ["GDDR0", [1, 10], "RAM", "root"], [block(4096, 8192, _192)]).
22 node_translate(["DRAMMAP", [1, 11], "RAM", "root"], [block(0, 4276092927, _182)], ["RAMOUT", [1, 11], "RAM", "root"], [block(0, 4276092927, _192)]).
23 node_translate(["LOCAL_SRC", "root"], [block(4096, 8192, _172)], ["GDDR0", [1, 11], "RAM", "root"], [block(4096, 8192, _192)]).
24 node_translate(["DRAMMAP", [2, 10], "RAM", "root"], [block(0, 4276092927, _182)], ["RAMOUT", [2, 10], "RAM", "root"], [block(0, 4276092927, _192)]).
25 node_translate(["LOCAL_SRC", "root"], [block(4096, 8192, _172)], ["GDDR0", [2, 10], "RAM", "root"], [block(4096, 8192, _192)]).
26 node_translate(["DRAMMAP", [2, 11], "RAM", "root"], [block(0, 4276092927, _182)], ["RAMOUT", [2, 11], "RAM", "root"], [block(0, 4276092927, _192)]).
27 node_translate(["LOCAL_SRC", "root"], [block(4096, 8192, _172)], ["GDDR0", [2, 11], "RAM", "root"], [block(4096, 8192, _192)]).
28 node_translate(["DRAMMAP", [10, 10], "RAM", "root"], [block(0, 4276092927, _182)], ["RAMOUT", [10, 10], "RAM", "root"], [block(0, 4276092927, _192)]).
29 node_translate(["LOCAL_SRC", "root"], [block(4096, 8192, _172)], ["GDDR0", [10, 10], "RAM", "root"], [block(4096, 8192, _192)]).
30 node_translate(["DRAMMAP", [10, 11], "RAM", "root"], [block(0, 4276092927, _182)], ["RAMOUT", [10, 11], "RAM", "root"], [block(0, 4276092927, _192)]).
31 node_translate(["LOCAL_SRC", "root"], [block(4096, 8192, _172)], ["GDDR0", [10, 11], "RAM", "root"], [block(4096, 8192, _192)]).
32 node_translate(["DRAMMAP", [11, 10], "RAM", "root"], [block(0, 4276092927, _182)], ["RAMOUT", [11, 10], "RAM", "root"], [block(0, 4276092927, _192)]).
33 node_translate(["LOCAL_SRC", "root"], [block(4096, 8192, _172)], ["GDDR0", [11, 10], "RAM", "root"], [block(4096, 8192, _192)]).
34 node_translate(["DRAMMAP", [11, 11], "RAM", "root"], [block(0, 4276092927, _182)], ["RAMOUT", [11, 11], "RAM", "root"], [block(0, 4276092927, _192)]).
35 node_translate(["LOCAL_SRC", "root"], [block(4096, 8192, _171)], ["GDDR0", [11, 11], "RAM", "root"], [block(4096, 8192, _191)]).