'checked0' depends on axioms: [propext]
'checked1' depends on axioms: [propext]
'checked2' depends on axioms: [propext]
'checked3' depends on axioms: [propext]
'checked4' depends on axioms: [propext]
'checked5' depends on axioms: [propext]
'checked6' depends on axioms: [propext]
'checked7' depends on axioms: [propext]
'checked8' depends on axioms: [propext]
'checked9' depends on axioms: [propext]
'checked10' depends on axioms: [propext]
'checked11' depends on axioms: [propext]
'checked12' depends on axioms: [propext]
'checked13' depends on axioms: [propext]
'checked14' depends on axioms: [propext]
'checked15' depends on axioms: [propext]
'checked16' depends on axioms: [propext]
'checked17' depends on axioms: [propext]
'checked18' depends on axioms: [propext]
'checked19' depends on axioms: [propext]
'checked20' depends on axioms: [propext]
'checked21' depends on axioms: [propext]
'checked22' depends on axioms: [propext]
'checked23' depends on axioms: [propext]
'checked24' depends on axioms: [propext]
'checked25' depends on axioms: [propext]
'checked26' depends on axioms: [propext]
'checked27' depends on axioms: [propext]
'checked28' depends on axioms: [propext]
'checked29' depends on axioms: [propext]
'checked30' depends on axioms: [propext]
'checked31' depends on axioms: [propext]
'checked32' depends on axioms: [propext]
'checked33' depends on axioms: [propext]
'checked34' depends on axioms: [propext]
'checked35' depends on axioms: [propext]
'checked36' depends on axioms: [propext]
'checked37' depends on axioms: [propext]
'checked38' depends on axioms: [propext]
'checked39' depends on axioms: [propext]
'checked40' depends on axioms: [propext]
'checked41' depends on axioms: [propext]
'checked42' depends on axioms: [propext]
'checked43' depends on axioms: [propext]
'checked44' depends on axioms: [propext]
'checked45' depends on axioms: [propext]
'checked46' depends on axioms: [propext]
'checked47' depends on axioms: [propext]
'checked48' depends on axioms: [propext]
'checked49' depends on axioms: [propext]
'checked50' depends on axioms: [propext]
'checked51' depends on axioms: [propext]
'checked52' depends on axioms: [propext]
'checked53' depends on axioms: [propext]
'checked54' depends on axioms: [propext]