Decision #900 — mod.rs:403

Status: partial

Truth table

rowc0 br 6202c1 br 6203outcome
3025FTT
3026FTT
3027FTT
3028FTT
3029FFF
5928FTT
5929FTT
5930FTT
5931FTT
5932FFF
9354FTT
9355FTT
9356FTT
9357FTT
9358FFF
10529FTT
10530FTT
10531FTT
10532FTT
10533FTT
10534FFF
11622FTT
11623FTT
11624FTT
11625FTT
11626FTT
11627FFF
12768FTT
12769FTT
12770FTT
12771FTT
12772FTT
12773FFF
20487FTT
20488FTT
20489FTT
20490FTT
20491FTT
20492FTT
20493FFF
28144FTT
28145FTT
28146FTT
28147FTT
28148FTT
28149FTT
28150FFF
34081FTT
34082FTT
34083FTT
34084FTT
34085FTT
34086FFF
40019FTT
40020FTT
40021FTT
40022FTT
40023FTT
40024FFF
42956FTT
42957FFF
42958FTT
42959FTT
42960FTT
42961FTT
42962FTT
42963FFF
42964FTT
42965FFF
42966FTT
42967FTT
42968FTT
42969FTT
42970FTT
42971FFF
42972FTT
42973FTT
42974FTT
42975FFF
42976FTT
42977FTT
42978FTT
42979FTT
42980FTT
42981FTT
42982FFF
42983FTT
42984FFF
46376FTT
46377FFF
46378FTT
46379FTT
46380FTT
46381FTT
46382FTT
46383FFF
46384FTT
46385FFF
46386FTT
46387FTT
46388FTT
46389FTT
46390FTT
46391FFF
46392FTT
46393FTT
46394FTT
46395FFF
46396FTT
46397FTT
46398FTT
46399FTT
46400FTT
46401FTT
46402FFF
46403FTT
46404FFF
49522FTT
49523FFF
49524FTT
49525FTT
49526FTT
49527FTT
49528FTT
49529FFF
49530FTT
49531FFF
49532FTT
49533FTT
49534FTT
49535FTT
49536FTT
49537FFF
49538FTT
49539FTT
49540FTT
49541FFF
49542FTT
49543FTT
49544FTT
49545FTT
49546FTT
49547FTT
49548FFF
49549FTT
49550FFF
52496FTT
52497FFF
52498FTT
52499FTT
52500FTT
52501FTT
52502FTT
52503FFF
52504FTT
52505FFF
52506FTT
52507FTT
52508FTT
52509FTT
52510FTT
52511FFF
52512FTT
52513FTT
52514FTT
52515FFF
52516FTT
52517FTT
52518FTT
52519FTT
52520FTT
52521FTT
52522FFF
52523FTT
52524FFF
75510FTT
75511FTT
75512FTT
75513FTT
75514FTT
75515FTT
75516FFF
75517FTT
75518FTT
75519FTT
75520FTT
75521FFF
75522FTT
75523FTT
75524FTT
75525FTT
75526FTT
75527FTT
75528FFF
75529FTT
75530FTT
75531FTT
75532FTT
75533FFF
75534FTT
75535FTT
75536FTT
75537FTT
75538FTT
75539FTT
75540FFF
75541FTT
75542FTT
75543FTT
75544FTT
75545FFF
78985FTT
78986FTT
78987FTT
78988FTT
78989FTT
78990FTT
78991FFF
78992FTT
78993FTT
78994FTT
78995FTT
78996FFF
78997FTT
78998FTT
78999FTT
79000FTT
79001FTT
79002FTT
79003FFF
79004FTT
79005FTT
79006FTT
79007FTT
79008FFF
79009FTT
79010FTT
79011FTT
79012FTT
79013FTT
79014FTT
79015FFF
79016FTT
79017FTT
79018FTT
79019FTT
79020FFF
80592FTT
80593FTT
80594FFF
80595FTT
80596FTT
80597FTT
80598FFF
80599FTT
80600FTT
80601FTT
80602FTT
80603FFF
80604FTT
80605FTT
80606FTT
80607FTT
80608FFF
80609FTT
80610FTT
80611FFF
80612FTT
80613FTT
80614FTT
80615FFF
81793FTT
81794FTT
81795FTT
81796FTT
81797FTT
81798FFF
82865FTT
82866FTT
82867FTT
82868FTT
82869FTT
82870FFF
84042FTT
84043FTT
84044FTT
84045FTT
84046FTT
84047FFF
85303FTT
85304FTT
85305FTT
85306FTT
85307FTT
85308FFF
85309FFF
85310FTT
85311FTT
85312FTT
85313FTT
85314FTT
85315FFF
85316FFF
87441FTT
87442FFF
87443FTT
87444FTT
87445FFF
87446FTT
87447FTT
87448FTT
87449FTT
87450FFF
87451FTT
87452FFF
87453FTT
87454FTT
87455FTT
87456FTT
87457FFF
87458FTT
87459FTT
87460FFF
88623FFF
88624FFF
88625FFF
88626FFF
90644FTT
90645FTT
90646FTT
90647FFF
90648FTT
90649FFF
90650FTT
90651FTT
90652FTT
90653FFF
90654FFF
90655FTT
90656FTT
90657FTT
90658FFF
90659FTT
90660FTT
90661FTT
90662FFF
92097FFF
92098FTT
92099FTT
92100FTT
92101FFF
92102FTT
92103FTT
92104FTT
92105FFF
110970FTT
110971FFF
129833FTT
129834FFF
130989FTT
130990FTT
130991FTT
130992FFF
132306FTT
132307FTT
132308FTT
132309FFF
133527FTT
133528FTT
133529FTT
133530FFF

Independent-effect pairs