Index of /research/SPL/SSBSE_2014/Resources/fms/SmartHomev2.2.dimacs_mutants

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] _literalNegation30 2014-06-04 11:41 718 [   ] _literalOmission156 2014-06-04 11:41 715 [   ] _operatorOr59 2014-06-04 11:41 721 [   ] _operatorOr3 2014-06-04 11:41 721 [   ] _literalNegation152 2014-06-04 11:41 720 [   ] _literalOmission170 2014-06-04 11:41 715 [   ] _literalNegation61 2014-06-04 11:41 720 [   ] _literalOmission98 2014-06-04 11:41 715 [   ] _operatorOr44 2014-06-04 11:41 721 [   ] _literalNegation105 2014-06-04 11:41 720 [   ] _literalOmission51 2014-06-04 11:41 717 [   ] _operatorOr77 2014-06-04 11:41 721 [   ] _literalOmission108 2014-06-04 11:41 715 [   ] _literalOmission111 2014-06-04 11:41 716 [   ] _literalOmission55 2014-06-04 11:41 717 [   ] _operatorOr60 2014-06-04 11:41 721 [   ] _literalOmission37 2014-06-04 11:41 717 [   ] _literalOmission73 2014-06-04 11:41 716 [   ] _operatorOr88 2014-06-04 11:41 721 [   ] _operatorOr29 2014-06-04 11:41 721 [   ] _operatorOr36 2014-06-04 11:41 721 [   ] _literalOmission88 2014-06-04 11:41 716 [   ] _literalOmission22 2014-06-04 11:41 716 [   ] _literalNegation116 2014-06-04 11:41 718 [   ] _literalNegation159 2014-06-04 11:41 720 [   ] _operatorOr69 2014-06-04 11:41 721 [   ] _literalNegation21 2014-06-04 11:41 720 [   ] _operatorOr40 2014-06-04 11:41 721 [   ] _operatorOr65 2014-06-04 11:41 721 [   ] _operatorOr16 2014-06-04 11:41 721 [   ] _literalNegation47 2014-06-04 11:41 720 [   ] _literalOmission38 2014-06-04 11:41 715 [   ] _literalNegation126 2014-06-04 11:41 718 [   ] _literalOmission6 2014-06-04 11:41 716 [   ] _literalNegation40 2014-06-04 11:41 718 [   ] _operatorOr24 2014-06-04 11:41 721 [   ] _literalOmission118 2014-06-04 11:41 715 [   ] _literalNegation129 2014-06-04 11:41 720 [   ] _operatorOr86 2014-06-04 11:41 721 [   ] _literalNegation14 2014-06-04 11:41 718 [   ] _literalNegation139 2014-06-04 11:41 718 [   ] _literalOmission35 2014-06-04 11:41 717 [   ] _literalOmission28 2014-06-04 11:41 715 [   ] _literalOmission52 2014-06-04 11:41 716 [   ] _literalNegation85 2014-06-04 11:41 720 [   ] _literalOmission56 2014-06-04 11:41 716 [   ] _literalNegation24 2014-06-04 11:41 718 [   ] _literalNegation62 2014-06-04 11:41 718 [   ] _literalNegation84 2014-06-04 11:41 718 [   ] _literalOmission126 2014-06-04 11:41 715 [   ] _literalNegation81 2014-06-04 11:41 720 [   ] _operatorOr13 2014-06-04 11:41 721 [   ] _operatorOr22 2014-06-04 11:41 721 [   ] _literalOmission11 2014-06-04 11:41 717 [   ] _literalNegation131 2014-06-04 11:41 718 [   ] _literalNegation163 2014-06-04 11:41 720 [   ] _operatorOr18 2014-06-04 11:41 721 [   ] _literalNegation51 2014-06-04 11:41 720 [   ] _literalOmission70 2014-06-04 11:41 715 [   ] _literalNegation52 2014-06-04 11:41 718 [   ] _literalNegation144 2014-06-04 11:41 720 [   ] _literalOmission163 2014-06-04 11:41 716 [   ] _literalOmission122 2014-06-04 11:41 715 [   ] _operatorOr25 2014-06-04 11:41 721 [   ] _operatorOr4 2014-06-04 11:41 721 [   ] _literalOmission67 2014-06-04 11:41 716 [   ] _operatorOr12 2014-06-04 11:41 721 [   ] _literalNegation113 2014-06-04 11:41 720 [   ] _operatorOr20 2014-06-04 11:41 721 [   ] _literalOmission20 2014-06-04 11:41 716 [   ] _literalOmission165 2014-06-04 11:41 716 [   ] _operatorOr26 2014-06-04 11:41 721 [   ] _operatorOr14 2014-06-04 11:41 721 [   ] _literalOmission50 2014-06-04 11:41 715 [   ] _literalNegation48 2014-06-04 11:41 718 [   ] _literalOmission65 2014-06-04 11:41 717 [   ] _literalOmission151 2014-06-04 11:41 715 [   ] _literalOmission94 2014-06-04 11:41 715 [   ] _literalNegation87 2014-06-04 11:41 720 [   ] _operatorOr23 2014-06-04 11:41 721 [   ] _literalNegation88 2014-06-04 11:41 718 [   ] _literalOmission39 2014-06-04 11:41 717 [   ] _literalNegation29 2014-06-04 11:41 720 [   ] _literalOmission99 2014-06-04 11:41 716 [   ] _literalOmission45 2014-06-04 11:41 716 [   ] _literalNegation18 2014-06-04 11:41 718 [   ] _operatorOr21 2014-06-04 11:41 721 [   ] _literalOmission162 2014-06-04 11:41 715 [   ] _literalOmission68 2014-06-04 11:41 716 [   ] _literalOmission53 2014-06-04 11:41 716 [   ] _operatorOr46 2014-06-04 11:41 721 [   ] _literalOmission24 2014-06-04 11:41 715 [   ] _literalNegation128 2014-06-04 11:41 718 [   ] _operatorOr1 2014-06-04 11:41 721 [   ] _literalNegation146 2014-06-04 11:41 720 [   ] _literalNegation63 2014-06-04 11:41 720 [   ] _operatorOr27 2014-06-04 11:41 721 [   ] _literalOmission5 2014-06-04 11:41 717 [   ] _literalOmission69 2014-06-04 11:41 716 [   ] _literalOmission27 2014-06-04 11:41 717 [   ] _literalOmission146 2014-06-04 11:41 716 [   ] _literalNegation90 2014-06-04 11:41 720 [   ] _literalNegation20 2014-06-04 11:41 718 [   ] _literalNegation104 2014-06-04 11:41 718 [   ] _literalNegation27 2014-06-04 11:41 720 [   ] _literalNegation91 2014-06-04 11:41 720 [   ] _literalNegation135 2014-06-04 11:41 718 [   ] _literalNegation77 2014-06-04 11:41 720 [   ] _operatorOr5 2014-06-04 11:41 721 [   ] _literalNegation171 2014-06-04 11:41 718 [   ] _operatorOr49 2014-06-04 11:41 721 [   ] _literalNegation161 2014-06-04 11:41 720 [   ] _literalNegation67 2014-06-04 11:41 720 [   ] _literalNegation120 2014-06-04 11:41 718 [   ] _operatorOr35 2014-06-04 11:41 721 [   ] _literalNegation125 2014-06-04 11:41 720 [   ] _literalOmission164 2014-06-04 11:41 715 [   ] _operatorOr33 2014-06-04 11:41 721 [   ] _operatorOr37 2014-06-04 11:41 721 [   ] _literalOmission84 2014-06-04 11:41 715 [   ] _literalNegation172 2014-06-04 11:41 718 [   ] _literalNegation39 2014-06-04 11:41 720 [   ] _literalOmission102 2014-06-04 11:41 715 [   ] _operatorOr7 2014-06-04 11:41 721 [   ] _literalOmission123 2014-06-04 11:41 716 [   ] _literalOmission147 2014-06-04 11:41 716 [   ] _literalOmission34 2014-06-04 11:41 715 [   ] _literalOmission25 2014-06-04 11:41 717 [   ] _literalNegation68 2014-06-04 11:41 720 [   ] _literalNegation99 2014-06-04 11:41 720 [   ] _literalNegation103 2014-06-04 11:41 720 [   ] _literalOmission114 2014-06-04 11:41 715 [   ] _literalOmission131 2014-06-04 11:41 715 [   ] _literalOmission19 2014-06-04 11:41 717 [   ] _literalOmission21 2014-06-04 11:41 717 [   ] _operatorOr64 2014-06-04 11:41 721 [   ] _literalNegation136 2014-06-04 11:41 720 [   ] _literalOmission100 2014-06-04 11:41 715 [   ] _literalNegation164 2014-06-04 11:41 718 [   ] _literalNegation148 2014-06-04 11:41 720 [   ] _operatorOr43 2014-06-04 11:41 721 [   ] _literalNegation150 2014-06-04 11:41 720 [   ] _literalOmission63 2014-06-04 11:41 717 [   ] _operatorOr38 2014-06-04 11:41 721 [   ] _literalOmission32 2014-06-04 11:41 715 [   ] _operatorOr9 2014-06-04 11:41 721 [   ] _operatorOr67 2014-06-04 11:41 721 [   ] _literalNegation169 2014-06-04 11:41 718 [   ] _literalNegation92 2014-06-04 11:41 718 [   ] _literalOmission96 2014-06-04 11:41 715 [   ] _literalOmission81 2014-06-04 11:41 717 [   ] _literalOmission152 2014-06-04 11:41 716 [   ] _literalNegation155 2014-06-04 11:41 720 [   ] _literalNegation46 2014-06-04 11:41 718 [   ] _operatorOr81 2014-06-04 11:41 721 [   ] _literalOmission16 2014-06-04 11:41 716 [   ] _literalNegation100 2014-06-04 11:41 718 [   ] _operatorOr79 2014-06-04 11:41 721 [   ] _literalNegation2 2014-06-04 11:41 718 [   ] _literalNegation133 2014-06-04 11:41 718 [   ] _literalOmission155 2014-06-04 11:41 716 [   ] _literalOmission72 2014-06-04 11:41 716 [   ] _literalNegation13 2014-06-04 11:41 720 [   ] _literalOmission49 2014-06-04 11:41 717 [   ] _literalNegation36 2014-06-04 11:41 718 [   ] _literalOmission171 2014-06-04 11:41 715 [   ] _literalNegation141 2014-06-04 11:41 718 [   ] _literalNegation4 2014-06-04 11:41 718 [   ] _literalNegation96 2014-06-04 11:41 718 [   ] _operatorOr10 2014-06-04 11:41 721 [   ] _literalNegation58 2014-06-04 11:41 718 [   ] _operatorOr52 2014-06-04 11:41 721 [   ] _literalNegation170 2014-06-04 11:41 718 [   ] _literalOmission3 2014-06-04 11:41 717 [   ] _literalOmission1 2014-06-04 11:41 715 [   ] _literalOmission41 2014-06-04 11:41 717 [   ] _operatorOr41 2014-06-04 11:41 721 [   ] _literalNegation101 2014-06-04 11:41 720 [   ] _literalOmission160 2014-06-04 11:41 715 [   ] _literalNegation86 2014-06-04 11:41 718 [   ] _literalOmission120 2014-06-04 11:41 715 [   ] _literalOmission71 2014-06-04 11:41 717 [   ] _literalNegation54 2014-06-04 11:41 718 [   ] _literalOmission141 2014-06-04 11:41 715 [   ] _literalNegation66 2014-06-04 11:41 718 [   ] _literalOmission23 2014-06-04 11:41 717 [   ] _operatorOr32 2014-06-04 11:41 721 [   ] _literalNegation117 2014-06-04 11:41 720 [   ] _literalOmission150 2014-06-04 11:41 716 [   ] _literalNegation149 2014-06-04 11:41 718 [   ] _literalOmission169 2014-06-04 11:41 715 [   ] _literalOmission159 2014-06-04 11:41 716 [   ] _literalNegation114 2014-06-04 11:41 718 [   ] _literalOmission43 2014-06-04 11:41 717 [   ] _literalOmission76 2014-06-04 11:41 715 [   ] _literalOmission17 2014-06-04 11:41 717 [   ] _literalNegation19 2014-06-04 11:41 720 [   ] _operatorOr87 2014-06-04 11:41 721 [   ] _operatorOr45 2014-06-04 11:41 721 [   ] _literalOmission139 2014-06-04 11:41 715 [   ] _operatorOr75 2014-06-04 11:41 721 [   ] _literalOmission90 2014-06-04 11:41 716 [   ] _operatorOr48 2014-06-04 11:41 721 [   ] _operatorOr62 2014-06-04 11:41 721 [   ] _literalNegation138 2014-06-04 11:41 720 [   ] _literalNegation121 2014-06-04 11:41 720 [   ] _operatorOr70 2014-06-04 11:41 721 [   ] _operatorOr58 2014-06-04 11:41 721 [   ] _literalNegation3 2014-06-04 11:41 720 [   ] _literalOmission167 2014-06-04 11:41 716 [   ] _literalNegation94 2014-06-04 11:41 718 [   ] _literalNegation123 2014-06-04 11:41 720 [   ] _literalNegation115 2014-06-04 11:41 720 [   ] _literalNegation154 2014-06-04 11:41 720 [   ] _literalNegation53 2014-06-04 11:41 720 [   ] _operatorOr42 2014-06-04 11:41 721 [   ] _literalNegation153 2014-06-04 11:41 718 [   ] _literalOmission7 2014-06-04 11:41 717 [   ] _literalOmission149 2014-06-04 11:41 715 [   ] _literalOmission125 2014-06-04 11:41 716 [   ] _literalOmission30 2014-06-04 11:41 715 [   ] _literalOmission113 2014-06-04 11:41 716 [   ] _literalNegation151 2014-06-04 11:41 718 [   ] _literalNegation160 2014-06-04 11:41 718 [   ] _literalOmission97 2014-06-04 11:41 716 [   ] _operatorOr28 2014-06-04 11:41 721 [   ] _literalOmission138 2014-06-04 11:41 716 [   ] _literalOmission105 2014-06-04 11:41 716 [   ] _literalNegation83 2014-06-04 11:41 720 [   ] _literalNegation127 2014-06-04 11:41 720 [   ] _literalNegation97 2014-06-04 11:41 720 [   ] _literalOmission107 2014-06-04 11:41 716 [   ] _literalNegation73 2014-06-04 11:41 720 [   ] _literalOmission31 2014-06-04 11:41 717 [   ] _literalOmission148 2014-06-04 11:41 716 [   ] _literalOmission137 2014-06-04 11:41 715 [   ] _literalOmission86 2014-06-04 11:41 715 [   ] _literalOmission109 2014-06-04 11:41 716 [   ] _literalOmission74 2014-06-04 11:41 715 [   ] _literalOmission9 2014-06-04 11:41 717 [   ] _literalNegation142 2014-06-04 11:41 720 [   ] _literalOmission36 2014-06-04 11:41 715 [   ] _operatorOr17 2014-06-04 11:41 721 [   ] _literalOmission136 2014-06-04 11:41 716 [   ] _literalOmission144 2014-06-04 11:41 716 [   ] _literalNegation44 2014-06-04 11:41 718 [   ] _literalOmission128 2014-06-04 11:41 715 [   ] _literalOmission142 2014-06-04 11:41 716 [   ] _literalOmission140 2014-06-04 11:41 716 [   ] _literalOmission112 2014-06-04 11:41 715 [   ] _literalOmission89 2014-06-04 11:41 716 [   ] _literalNegation59 2014-06-04 11:41 720 [   ] _operatorOr50 2014-06-04 11:41 721 [   ] _literalNegation31 2014-06-04 11:41 720 [   ] _literalNegation111 2014-06-04 11:41 720 [   ] _literalOmission77 2014-06-04 11:41 717 [   ] _literalNegation42 2014-06-04 11:41 718 [   ] _operatorOr8 2014-06-04 11:41 721 [   ] _literalNegation124 2014-06-04 11:41 718 [   ] _literalOmission26 2014-06-04 11:41 715 [   ] _literalNegation75 2014-06-04 11:41 720 [   ] _literalOmission129 2014-06-04 11:41 716 [   ] _operatorOr89 2014-06-04 11:41 721 [   ] _literalOmission127 2014-06-04 11:41 716 [   ] _operatorOr90 2014-06-04 11:41 721 [   ] _literalNegation32 2014-06-04 11:41 718 [   ] _literalNegation23 2014-06-04 11:41 720 [   ] _literalOmission117 2014-06-04 11:41 716 [   ] _literalNegation98 2014-06-04 11:41 718 [   ] _literalOmission106 2014-06-04 11:41 715 [   ] _literalNegation147 2014-06-04 11:41 720 [   ] _literalOmission110 2014-06-04 11:41 715 [   ] _literalOmission80 2014-06-04 11:41 715 [   ] _literalOmission46 2014-06-04 11:41 715 [   ] _operatorOr82 2014-06-04 11:41 721 [   ] _literalOmission168 2014-06-04 11:41 716 [   ] _operatorOr15 2014-06-04 11:41 721 [   ] _literalOmission85 2014-06-04 11:41 717 [   ] _literalNegation9 2014-06-04 11:41 720 [   ] _literalNegation82 2014-06-04 11:41 718 [   ] _literalOmission116 2014-06-04 11:41 715 [   ] _literalNegation10 2014-06-04 11:41 718 [   ] _literalNegation43 2014-06-04 11:41 720 [   ] _literalNegation106 2014-06-04 11:41 718 [   ] _literalOmission48 2014-06-04 11:41 715 [   ] _literalOmission79 2014-06-04 11:41 716 [   ] _literalNegation35 2014-06-04 11:41 720 [   ] _literalOmission119 2014-06-04 11:41 716 [   ] _literalNegation37 2014-06-04 11:41 720 [   ] _operatorOr11 2014-06-04 11:41 721 [   ] _literalNegation162 2014-06-04 11:41 718 [   ] _literalOmission115 2014-06-04 11:41 716 [   ] _literalNegation143 2014-06-04 11:41 718 [   ] _literalNegation11 2014-06-04 11:41 720 [   ] _operatorOr74 2014-06-04 11:41 721 [   ] _literalOmission153 2014-06-04 11:41 715 [   ] _literalNegation72 2014-06-04 11:41 718 [   ] _literalOmission82 2014-06-04 11:41 715 [   ] _literalNegation109 2014-06-04 11:41 720 [   ] _literalOmission132 2014-06-04 11:41 716 [   ] _literalOmission87 2014-06-04 11:41 717 [   ] _literalOmission54 2014-06-04 11:41 715 [   ] _operatorOr68 2014-06-04 11:41 721 [   ] _operatorOr31 2014-06-04 11:41 721 [   ] _operatorOr6 2014-06-04 11:41 721 [   ] _operatorOr19 2014-06-04 11:41 721 [   ] _operatorOr54 2014-06-04 11:41 721 [   ] _literalNegation122 2014-06-04 11:41 718 [   ] _literalNegation108 2014-06-04 11:41 718 [   ] _literalNegation102 2014-06-04 11:41 718 [   ] _operatorOr71 2014-06-04 11:41 721 [   ] _literalNegation34 2014-06-04 11:41 718 [   ] _literalOmission44 2014-06-04 11:41 716 [   ] _literalNegation56 2014-06-04 11:41 718 [   ] _literalOmission161 2014-06-04 11:41 716 [   ] _literalOmission40 2014-06-04 11:41 715 [   ] _operatorOr83 2014-06-04 11:41 721 [   ] _literalOmission101 2014-06-04 11:41 716 [   ] _operatorOr73 2014-06-04 11:41 721 [   ] _operatorOr55 2014-06-04 11:41 721 [   ] _literalNegation93 2014-06-04 11:41 720 [   ] _literalNegation79 2014-06-04 11:41 720 [   ] _literalNegation156 2014-06-04 11:41 718 [   ] _literalOmission143 2014-06-04 11:41 715 [   ] _literalNegation145 2014-06-04 11:41 718 [   ] _literalOmission95 2014-06-04 11:41 716 [   ] _literalOmission130 2014-06-04 11:41 716 [   ] _literalNegation95 2014-06-04 11:41 720 [   ] _literalOmission64 2014-06-04 11:41 715 [   ] _literalNegation71 2014-06-04 11:41 720 [   ] _literalNegation167 2014-06-04 11:41 720 [   ] _literalNegation25 2014-06-04 11:41 720 [   ] _literalOmission15 2014-06-04 11:41 717 [   ] _operatorOr39 2014-06-04 11:41 721 [   ] _literalNegation70 2014-06-04 11:41 718 [   ] _literalNegation107 2014-06-04 11:41 720 [   ] _literalOmission13 2014-06-04 11:41 717 [   ] _literalNegation17 2014-06-04 11:41 720 [   ] _literalOmission42 2014-06-04 11:41 715 [   ] _literalNegation38 2014-06-04 11:41 718 [   ] _literalNegation65 2014-06-04 11:41 720 [   ] _literalNegation165 2014-06-04 11:41 720 [   ] _literalNegation130 2014-06-04 11:41 720 [   ] _literalNegation33 2014-06-04 11:41 720 [   ] _literalNegation69 2014-06-04 11:41 720 [   ] _literalNegation157 2014-06-04 11:41 720 [   ] _operatorOr76 2014-06-04 11:41 721 [   ] _literalNegation57 2014-06-04 11:41 720 [   ] _literalOmission14 2014-06-04 11:41 716 [   ] _literalOmission158 2014-06-04 11:41 715 [   ] _operatorOr34 2014-06-04 11:41 721 [   ] _literalNegation41 2014-06-04 11:41 720 [   ] _literalOmission93 2014-06-04 11:41 716 [   ] _literalNegation28 2014-06-04 11:41 718 [   ] _literalOmission134 2014-06-04 11:41 716 [   ] _literalOmission92 2014-06-04 11:41 715 [   ] _literalNegation45 2014-06-04 11:41 720 [   ] _literalOmission145 2014-06-04 11:41 715 [   ] _operatorOr57 2014-06-04 11:41 721 [   ] _literalNegation5 2014-06-04 11:41 720 [   ] _literalNegation64 2014-06-04 11:41 718 [   ] _literalOmission78 2014-06-04 11:41 716 [   ] _literalOmission33 2014-06-04 11:41 717 [   ] _literalOmission61 2014-06-04 11:41 717 [   ] _operatorOr85 2014-06-04 11:41 721 [   ] _literalOmission103 2014-06-04 11:41 716 [   ] _literalOmission60 2014-06-04 11:41 715 [   ] _operatorOr63 2014-06-04 11:41 721 [   ] _literalOmission121 2014-06-04 11:41 716 [   ] _literalOmission59 2014-06-04 11:41 717 [   ] _operatorOr78 2014-06-04 11:41 721 [   ] _operatorOr2 2014-06-04 11:41 721 [   ] _literalOmission57 2014-06-04 11:41 716 [   ] _literalOmission157 2014-06-04 11:41 716 [   ] _literalNegation166 2014-06-04 11:41 718 [   ] _literalNegation112 2014-06-04 11:41 718 [   ] _literalNegation119 2014-06-04 11:41 720 [   ] _literalOmission66 2014-06-04 11:41 716 [   ] _literalOmission83 2014-06-04 11:41 717 [   ] _operatorOr84 2014-06-04 11:41 721 [   ] _literalNegation110 2014-06-04 11:41 718 [   ] _literalOmission124 2014-06-04 11:41 715 [   ] _operatorOr53 2014-06-04 11:41 721 [   ] _literalNegation89 2014-06-04 11:41 720 [   ] _literalOmission29 2014-06-04 11:41 717 [   ] _literalOmission166 2014-06-04 11:41 715 [   ] _literalNegation12 2014-06-04 11:41 718 [   ] _operatorOr61 2014-06-04 11:41 721 [   ] _literalNegation50 2014-06-04 11:41 718 [   ] _literalOmission154 2014-06-04 11:41 716 [   ] _literalOmission58 2014-06-04 11:41 715 [   ] _literalNegation49 2014-06-04 11:41 720 [   ] _operatorOr72 2014-06-04 11:41 721 [   ] _literalOmission8 2014-06-04 11:41 716 [   ] _operatorOr47 2014-06-04 11:41 721 [   ] _literalOmission62 2014-06-04 11:41 715 [   ] _operatorOr80 2014-06-04 11:41 721 [   ] _literalOmission172 2014-06-04 11:41 715 [   ] _operatorOr30 2014-06-04 11:41 721 [   ] _literalOmission12 2014-06-04 11:41 716 [   ] _literalNegation8 2014-06-04 11:41 718 [   ] _literalNegation78 2014-06-04 11:41 718 [   ] _literalNegation15 2014-06-04 11:41 720 [   ] _literalNegation137 2014-06-04 11:41 718 [   ] _literalNegation55 2014-06-04 11:41 720 [   ] _literalOmission133 2014-06-04 11:41 715 [   ] _literalOmission47 2014-06-04 11:41 717 [   ] _literalNegation7 2014-06-04 11:41 720 [   ] _literalNegation118 2014-06-04 11:41 718 [   ] _literalNegation76 2014-06-04 11:41 718 [   ] _literalNegation1 2014-06-04 11:41 720 [   ] _literalOmission2 2014-06-04 11:41 716 [   ] _literalOmission18 2014-06-04 11:41 716 [   ] _literalOmission10 2014-06-04 11:41 716 [   ] _literalNegation168 2014-06-04 11:41 720 [   ] _literalNegation6 2014-06-04 11:41 718 [   ] _literalNegation132 2014-06-04 11:41 720 [   ] _operatorOr51 2014-06-04 11:41 721 [   ] _literalNegation158 2014-06-04 11:41 718 [   ] _operatorOr66 2014-06-04 11:41 721 [   ] _literalNegation26 2014-06-04 11:41 718 [   ] _literalOmission135 2014-06-04 11:41 715 [   ] _literalNegation134 2014-06-04 11:41 720 [   ] _literalNegation140 2014-06-04 11:41 720 [   ] _literalNegation22 2014-06-04 11:41 718 [   ] _literalNegation16 2014-06-04 11:41 718 [   ] _operatorOr56 2014-06-04 11:41 721 [   ] _literalNegation74 2014-06-04 11:41 718 [   ] _literalNegation60 2014-06-04 11:41 718 [   ] _literalOmission4 2014-06-04 11:41 716 [   ] _literalOmission91 2014-06-04 11:41 716 [   ] _literalOmission104 2014-06-04 11:41 715 [   ] _literalOmission75 2014-06-04 11:41 717 [   ] _literalNegation80 2014-06-04 11:41 718