SuccessConsole Output

Skipping 4,648 KB.. Full Log
95c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: e0e53f624a0c8a324235a8e79b9ef32dd9e9cf918b6f355ecff391c99c1b1981
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: e0e53f624a0c8a324235a8e79b9ef32dd9e9cf918b6f355ecff391c99c1b1981
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
# SUBDEFN=coverage ./kpol run --backend haskell comments.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/modules.wast
<wasm>
  <k>
    .
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      .Int
    </curModIdx>
    <labelDepth>
      0
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    .ModuleInstCellMap
  </moduleInstances>
  <nextModuleIdx>
    0
  </nextModuleIdx>
  <mainStore>
    <funcs>
      .FuncDefCellMap
    </funcs>
    <nextFuncAddr>
      0
    </nextFuncAddr>
    <tabs>
      .TabInstCellMap
    </tabs>
    <nextTabAddr>
      0
    </nextTabAddr>
    <mems>
      .MemInstCellMap
    </mems>
    <nextMemAddr>
      0
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    0
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/modules.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-io-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-io-kompiled    \
                       deps/wasm-semantics/tests/simple/modules.wast.coverage-llvm > deps/wasm-semantics/tests/simple/modules.wast.coverage-haskell
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: b965202e736a876eb1a7f6a0f4e6464df4f77fc403852ec081f7e1194c744284
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 226f272ac76382a4d08c3aa01415b09e852f703fb28a7fd4f21913b346d6acd2
=== Skipping non-semantic rule: 226f272ac76382a4d08c3aa01415b09e852f703fb28a7fd4f21913b346d6acd2
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: 610da672a6d00438bbc1aa1be6fa22f887d4a2bb0e8898cf54d7730d06ea6f5a
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 6d79e907301e8dc3c7d634ae0249133fa89800bdfe506ea43a2e7c1fe647a98b
=== Skipping non-semantic rule: 6d79e907301e8dc3c7d634ae0249133fa89800bdfe506ea43a2e7c1fe647a98b
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: c8d18c55984bda3e7a4781bcbc74bad82fbedaa38ba5b9f118776f1b3f3aa873
=== Skipping non-semantic rule: 81727038d915f66d0d0de4bdc363228b8f132cf4fc20939506df952463e060b2
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: a34b3f129e3019dc054b47d88a4c699416b2a72fd6285ad1eb8365ff18c7d0da
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: a34b3f129e3019dc054b47d88a4c699416b2a72fd6285ad1eb8365ff18c7d0da
=== Skipping non-semantic rule: f823b0ad66df76a8329644dbca651bad93f4805f05fb06a649f9ecfa846acd10
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: c8d18c55984bda3e7a4781bcbc74bad82fbedaa38ba5b9f118776f1b3f3aa873
=== Skipping non-semantic rule: 81727038d915f66d0d0de4bdc363228b8f132cf4fc20939506df952463e060b2
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: a34b3f129e3019dc054b47d88a4c699416b2a72fd6285ad1eb8365ff18c7d0da
=== Skipping non-semantic rule: f823b0ad66df76a8329644dbca651bad93f4805f05fb06a649f9ecfa846acd10
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 2201f03dab9474cc5165048e484144c1182ab2a5443623fcda0ac30ef1a8bf9f
=== Skipping non-semantic rule: 6434a6a6d34a5cdff508694a07efcf40a97322ce95a1d4193228ad77ed4a48d9
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: a34b3f129e3019dc054b47d88a4c699416b2a72fd6285ad1eb8365ff18c7d0da
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: b15bfaba6e166aa70524c789b68025ba6a60229b500891d73cba13b73ef8177f
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: b15bfaba6e166aa70524c789b68025ba6a60229b500891d73cba13b73ef8177f
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: b15bfaba6e166aa70524c789b68025ba6a60229b500891d73cba13b73ef8177f
=== Skipping non-semantic rule: f823b0ad66df76a8329644dbca651bad93f4805f05fb06a649f9ecfa846acd10
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 2201f03dab9474cc5165048e484144c1182ab2a5443623fcda0ac30ef1a8bf9f
=== Skipping non-semantic rule: 6434a6a6d34a5cdff508694a07efcf40a97322ce95a1d4193228ad77ed4a48d9
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: 7a1135ba5c66765ec798da7b6f0b364c4a5630d41d187a0b64e8069a88377709
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: bf82dadd590bc910eebda768226526b9ee6efd1c3047a52e2a34fcf6a5b0d4ab
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: bf82dadd590bc910eebda768226526b9ee6efd1c3047a52e2a34fcf6a5b0d4ab
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: bf82dadd590bc910eebda768226526b9ee6efd1c3047a52e2a34fcf6a5b0d4ab
=== Skipping non-semantic rule: 9821d56981f97f3160e642e79efeb50fb864919c2f87b86682b2236fa148e14a
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 2201f03dab9474cc5165048e484144c1182ab2a5443623fcda0ac30ef1a8bf9f
=== Skipping non-semantic rule: 6434a6a6d34a5cdff508694a07efcf40a97322ce95a1d4193228ad77ed4a48d9
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: 7a1135ba5c66765ec798da7b6f0b364c4a5630d41d187a0b64e8069a88377709
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: 7a1135ba5c66765ec798da7b6f0b364c4a5630d41d187a0b64e8069a88377709
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: bf82dadd590bc910eebda768226526b9ee6efd1c3047a52e2a34fcf6a5b0d4ab
=== Skipping non-semantic rule: d41b425111bc357239c229aca0196fd1690364fa756c817dce19c9a83a7aa274
=== Skipping non-semantic rule: bf82dadd590bc910eebda768226526b9ee6efd1c3047a52e2a34fcf6a5b0d4ab
=== Skipping non-semantic rule: 9821d56981f97f3160e642e79efeb50fb864919c2f87b86682b2236fa148e14a
=== Skipping non-semantic rule: e0e53f624a0c8a324235a8e79b9ef32dd9e9cf918b6f355ecff391c99c1b1981
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
# SUBDEFN=coverage ./kpol run --backend haskell modules.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/identifiers.wast
<wasm>
  <k>
    .
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      .Int
    </curModIdx>
    <labelDepth>
      0
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    .ModuleInstCellMap
  </moduleInstances>
  <nextModuleIdx>
    0
  </nextModuleIdx>
  <mainStore>
    <funcs>
      .FuncDefCellMap
    </funcs>
    <nextFuncAddr>
      0
    </nextFuncAddr>
    <tabs>
      .TabInstCellMap
    </tabs>
    <nextTabAddr>
      0
    </nextTabAddr>
    <mems>
      .MemInstCellMap
    </mems>
    <nextMemAddr>
      0
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    0
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/identifiers.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-io-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-io-kompiled    \
                       deps/wasm-semantics/tests/simple/identifiers.wast.coverage-llvm > deps/wasm-semantics/tests/simple/identifiers.wast.coverage-haskell
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
# SUBDEFN=coverage ./kpol run --backend haskell identifiers.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/variables.wast
<wasm>
  <k>
    .
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      .Int
    </curModIdx>
    <labelDepth>
      0
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    .ModuleInstCellMap
  </moduleInstances>
  <nextModuleIdx>
    0
  </nextModuleIdx>
  <mainStore>
    <funcs>
      .FuncDefCellMap
    </funcs>
    <nextFuncAddr>
      0
    </nextFuncAddr>
    <tabs>
      .TabInstCellMap
    </tabs>
    <nextTabAddr>
      0
    </nextTabAddr>
    <mems>
      .MemInstCellMap
    </mems>
    <nextMemAddr>
      0
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    0
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/variables.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-io-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-io-kompiled    \
                       deps/wasm-semantics/tests/simple/variables.wast.coverage-llvm > deps/wasm-semantics/tests/simple/variables.wast.coverage-haskell
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
# SUBDEFN=coverage ./kpol run --backend haskell variables.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/table.wast
<wasm>
  <k>
    .
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      .Int
    </curModIdx>
    <labelDepth>
      0
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    .ModuleInstCellMap
  </moduleInstances>
  <nextModuleIdx>
    0
  </nextModuleIdx>
  <mainStore>
    <funcs>
      .FuncDefCellMap
    </funcs>
    <nextFuncAddr>
      0
    </nextFuncAddr>
    <tabs>
      .TabInstCellMap
    </tabs>
    <nextTabAddr>
      0
    </nextTabAddr>
    <mems>
      .MemInstCellMap
    </mems>
    <nextMemAddr>
      0
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    0
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/table.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-io-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-io-kompiled    \
                       deps/wasm-semantics/tests/simple/table.wast.coverage-llvm > deps/wasm-semantics/tests/simple/table.wast.coverage-haskell
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 289ec009ffdb5c744c152795e46f83338ae4e2b7308fae58391844a2a2b69014
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 28321dedd4203180231ce976852ea3e576fa18d0c36ac9ea291e613f09b95994
=== Skipping non-semantic rule: 289ec009ffdb5c744c152795e46f83338ae4e2b7308fae58391844a2a2b69014
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: edbe801df9fde086018a798497603ec543577b4cff4ca1c7b529f9c75579c50e
=== Skipping non-semantic rule: 5d23b33ab0a160bfb6a44abe1521cac1c8caffef17f8a938db7fb31c5471fa5a
=== Skipping non-semantic rule: 57bc2050118bfc7a4a059a4da14e9e498e082f9bfba1f6a592f733ba91b86bf8
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: e3f841f080760e2003d056541d85a2765f7c85c9c78c6892f19ab5e33ecee255
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
# SUBDEFN=coverage ./kpol run --backend haskell table.wast.coverage-haskell --rule-sequence
rm -rf .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt
SUBDEFN=coverage ./kpol run --backend llvm deps/wasm-semantics/tests/simple/imports.wast
<wasm>
  <k>
    .
  </k>
  <valstack>
    .ValStack
  </valstack>
  <curFrame>
    <locals>
      .Map
    </locals>
    <localIds>
      .Map
    </localIds>
    <curModIdx>
      .Int
    </curModIdx>
    <labelDepth>
      0
    </labelDepth>
    <labelIds>
      .Map
    </labelIds>
  </curFrame>
  <moduleRegistry>
    .Map
  </moduleRegistry>
  <moduleIds>
    .Map
  </moduleIds>
  <moduleInstances>
    .ModuleInstCellMap
  </moduleInstances>
  <nextModuleIdx>
    0
  </nextModuleIdx>
  <mainStore>
    <funcs>
      .FuncDefCellMap
    </funcs>
    <nextFuncAddr>
      0
    </nextFuncAddr>
    <tabs>
      .TabInstCellMap
    </tabs>
    <nextTabAddr>
      0
    </nextTabAddr>
    <mems>
      .MemInstCellMap
    </mems>
    <nextMemAddr>
      0
    </nextMemAddr>
    <globals>
      .GlobalInstCellMap
    </globals>
    <nextGlobAddr>
      0
    </nextGlobAddr>
  </mainStore>
  <deterministicMemoryGrowth>
    true
  </deterministicMemoryGrowth>
  <nextFreshId>
    0
  </nextFreshId>
</wasm>
mv .build/defn/coverage/llvm/wasm-with-k-io-kompiled/*_coverage.txt deps/wasm-semantics/tests/simple/imports.wast.coverage-llvm
./translateCoverage.py .build/defn/coverage/llvm/wasm-with-k-io-kompiled \
                       .build/defn/kwasm/haskell/wasm-with-k-io-kompiled    \
                       deps/wasm-semantics/tests/simple/imports.wast.coverage-llvm > deps/wasm-semantics/tests/simple/imports.wast.coverage-haskell
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 57bc2050118bfc7a4a059a4da14e9e498e082f9bfba1f6a592f733ba91b86bf8
=== Skipping non-semantic rule: b965202e736a876eb1a7f6a0f4e6464df4f77fc403852ec081f7e1194c744284
=== Skipping non-semantic rule: 45d33c909d875a1ca35ddd2708e1b5331856e0f4d5539d156c39e2102b624c59
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 97d30a2af8ead969d781cd4639378a6c3e0e90ac0300fe5294c46e6163e7acab
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: c8d18c55984bda3e7a4781bcbc74bad82fbedaa38ba5b9f118776f1b3f3aa873
=== Skipping non-semantic rule: 81727038d915f66d0d0de4bdc363228b8f132cf4fc20939506df952463e060b2
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: 0a31a904c7a99265de2fdc2789cf49dcc4376df33fe37e6592193874a3e77316
=== Skipping non-semantic rule: 6d79e907301e8dc3c7d634ae0249133fa89800bdfe506ea43a2e7c1fe647a98b
=== Skipping non-semantic rule: 97d30a2af8ead969d781cd4639378a6c3e0e90ac0300fe5294c46e6163e7acab
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: c8d18c55984bda3e7a4781bcbc74bad82fbedaa38ba5b9f118776f1b3f3aa873
=== Skipping non-semantic rule: 81727038d915f66d0d0de4bdc363228b8f132cf4fc20939506df952463e060b2
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: 0a31a904c7a99265de2fdc2789cf49dcc4376df33fe37e6592193874a3e77316
=== Skipping non-semantic rule: 97d30a2af8ead969d781cd4639378a6c3e0e90ac0300fe5294c46e6163e7acab
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: c8d18c55984bda3e7a4781bcbc74bad82fbedaa38ba5b9f118776f1b3f3aa873
=== Skipping non-semantic rule: 81727038d915f66d0d0de4bdc363228b8f132cf4fc20939506df952463e060b2
=== Skipping non-semantic rule: d69fae1385ebfd86ce7f7ead0c140126b98a3cdf19c69265d07a288dec0671d6
=== Skipping non-semantic rule: 0a31a904c7a99265de2fdc2789cf49dcc4376df33fe37e6592193874a3e77316
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 0531ddf15bcd76217bd7f18c4a68f64f6e3e7587900470ae0de3c7b63b0fa9e3
=== Skipping non-semantic rule: 0da430ae05c85fa8bd55d3285f5b028a55d77685259c2b72b174a06264a201a3
=== Skipping non-semantic rule: 8392e0c110c6bcb7cbf088cc05f386f55065602d1511ffc5045600ce41f428ca
=== Skipping non-semantic rule: d011975958c3040759e6aa964b6236f814c03395e983e930e86365358e716f6e
=== Skipping non-semantic rule: 2b5c8d5c4ed04704d2d9e9d3196423c5c6d30b9e78184783ffe54cc1c2968a4f
=== Skipping non-semantic rule: c8d18c55984bda3e7a4781bcbc74bad82fbedaa38ba5b9f118776f1b3f3aa873
=== Skipping non-semantic rule: 81727038d915f66d0d0de4bdc363228b8f132cf4fc20939506df952463e060b2
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: f159000959fc300905842a7446091603ec94aa4dd6a2d5bd6c26c40ad4c2d352
=== Skipping non-semantic rule: a34b3f129e3019dc054b47d88a4c699416b2a72fd6285ad1eb8365ff18c7d0da
=== Skipping non-semantic rule: f823b0ad66df76a8329644dbca651bad93f4805f05fb06a649f9ecfa846acd10
=== Skipping non-semantic rule: 6b982e46cd914545f502101a82d57ab8e9f3fa16d4d7b90bcaf31de52d98a570
=== Skipping non-semantic rule: 8dd4c5a995b2b91291c520f369838ae1531f6e5f24f06add3e755fede57e2e84
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: a499c75b8c09c692d71c31769534eca7cc41de5196c5a35d292581802e11584a
=== Skipping non-semantic rule: e9b9b5b8f59d221edbf18c4838ffcb97a1f7d0951f76daed17062370aab70206
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: a98f1bd137bc5a01b381e63d3ea5520dd852b3e44dec4997d13cfc9a5f2531c9
=== Skipping non-semantic rule: 45d33c909d875a1ca35ddd2708e1b5331856e0f4d5539d156c39e2102b624c59
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 8864ebee62428cbe685878a85f997b4a45ac7a567fdb35cf0680d0f1929baa6a
=== Skipping non-semantic rule: 57bc2050118bfc7a4a059a4da14e9e498e082f9bfba1f6a592f733ba91b86bf8
=== Skipping non-semantic rule: c2dfa5a7ea843e22776ce6a82571462f7a8cee183c7823fdf56e55c0af09a830
=== Skipping non-semantic rule: b965202e736a876eb1a7f6a0f4e6464df4f77fc403852ec081f7e1194c744284
=== Skipping non-semantic rule: 504c587c770e4670d3b2e4132cf575b940ad3f17e663b7c93a3bfd8cc1e11650
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: dff135660573c56c341b10c6f46f5e6c7a01cedb39e8ed1482d11c8bf858aabc
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c0e0bfc933ddfd02d1b7825ba5315a1b34e52fbb1199c892a72f071838d3f69f
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1ac99cf2b083910fee47311cc72d3c9c60b8a1f6101cc6a5a469deea4e73d07
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 7e27cae0803ce13f3cb0f07a3a65ee1a767cd6b6c3f32f1a849d8b10c2459a24
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: 853e52c60180da104ea4270b41f33cf8170a8763d1db358938c825d51b2cf17a
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: d2c850eb9a868713d42a0f23e507afbe09293094325194523a9bfae99e9009ff
=== Skipping non-semantic rule: 9839cd16eb7863c7dc6e46df2bb260f065d476f35ae605d8e47f5a9e58c66078
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 4c1ac60e42a137110374ecc0639e12b3090b89357d08ab4df8a2b829dffd91c4
=== Skipping non-semantic rule: 5f85ee55490ef5101d961df1cefa16e155e4a1429e46655d544136faf0fd7668
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 2b0bf625f46b95d2694eb8fdaad859f9a0d9c2a992b893b8763791d1bd5fffdb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: cf7c84893448cda9b0a741e2aa97307f44ca1b8369331a835a09f83af92c4148
=== Skipping non-semantic rule: c8b33c8d7c2587491a564a9b2647f54ca394e4a0c0dca900990165723e232ecb
=== Skipping non-semantic rule: 52ea02e71b6b37690c0b28467893c3dea715bbdbc9f71ac83d0e41b2d90f1256
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 6dcee4f3e575a33b557698f9a65b1e2549ab84e28bf53257754ee19fbc75f948
=== Skipping non-semantic rule: 0f934c696d52c60bedb349adb5b9fb7d2746cfe640457ae6b8dfbdfd97752160
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: df22dfd51cbcb136063f2fd7d892df22d06f49a6aede812d24b2fd927604b09e
=== Skipping non-semantic rule: 302c727790d87d8cb47302b4ba38cfabd05e8f185cf19450b94c84194767a59e
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: bd5a03a9fa10470da2cec110d65324bc984a4ce8346838199d4ccd593edd4897
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 8e4a8931cec45673b4e89476cd25992921f29774d7fa5369cef12b39dc339830
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: b499efe38eded0ca7ea6e8e5af6de15a71220f1b0f7049ee97d694185bf07dd7
=== Skipping non-semantic rule: fac5208b37ab3429adb17fbada1acb1cfdc6e64445c40bc730215c47cecc0a12
=== Skipping non-semantic rule: 3980180aedb733ca20b3d64ea149ebac62cd838c79af3211c32815a622a51577
=== Skipping non-semantic rule: bfbf9d3b5246c73c1a935170d26ebfae0a4e1c4789759be75a1d4ee44bc62a93
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: 329252fc53392f091a4bc1d7dc186321117d717e07dcdeea598e6161dea53eb0
=== Skipping non-semantic rule: 17b02068abbea17ee0ac23d7f6ab461af6e7ec47c567ee9086dad73dc3ce57cf
=== Skipping non-semantic rule: c64af83a62ff52760d3c21f2eb86fb3c7243dac65650fc721612c1d78ebc22e3
=== Skipping non-semantic rule: 01697fa65e24f8cf00b6478eda4729766fb26642b2f55a56ac454577628571ee
=== Skipping non-semantic rule: f81e29e049f431be99d07b32b9a7291cdc011170f20866e6c99f89b325dbd809
=== Skipping non-semantic rule: 8651e5e675ad4201bb7bd55cd4e2a2402980ad0cc1acab62b75214f6eff9da63
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
=== Skipping non-semantic rule: 15d2a271d506fdcf970b723b3bae5b7cd58a13159e01834ae5d827c0b23fca95
=== Skipping non-semantic rule: d1084c7b76da7fa541b1593ff7b9bd1e95cc0c5fc55d300a1a57d2ba9c537c1b
=== Skipping non-semantic rule: bdce6a1c10f474af895c0d174db37988535d532cb01f2411fd22d2ab6cab7918
# SUBDEFN=coverage ./kpol run --backend haskell imports.wast.coverage-haskell --rule-sequence
rm deps/wasm-semantics/tests/simple/table.wast.coverage-llvm deps/wasm-semantics/tests/simple/identifiers.wast.coverage-llvm deps/wasm-semantics/tests/simple/address-c.wast.coverage-llvm deps/wasm-semantics/tests/simple/variables.wast.coverage-llvm deps/wasm-semantics/tests/simple/unicode.wast.coverage-llvm deps/wasm-semantics/tests/simple/comments.wast.coverage-llvm deps/wasm-semantics/tests/simple/start.wast.coverage-llvm deps/wasm-semantics/tests/simple/data.wast.coverage-llvm deps/wasm-semantics/tests/simple/branching.wast.coverage-llvm deps/wasm-semantics/tests/simple/conversion.wast.coverage-llvm deps/wasm-semantics/tests/simple/imports.wast.coverage-llvm deps/wasm-semantics/tests/simple/integers.wast.coverage-llvm deps/wasm-semantics/tests/simple/modules.wast.coverage-llvm
[Pipeline] }
[Pipeline] // timeout
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // ansiColor
[Pipeline] }
$ docker stop --time=1 2bacc29033063c0fe7c5c960e05e1547d6e074cba765b0d17208277efefa28f4
$ docker rm -f 2bacc29033063c0fe7c5c960e05e1547d6e074cba765b0d17208277efefa28f4
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: SUCCESS