diff --git a/CoqOfRust/revm/revm_interpreter/instructions/links/count_admitted.py b/CoqOfRust/revm/revm_interpreter/instructions/links/count_admitted.py
index aaac2e36a..ce36e4f9e 100644
--- a/CoqOfRust/revm/revm_interpreter/instructions/links/count_admitted.py
+++ b/CoqOfRust/revm/revm_interpreter/instructions/links/count_admitted.py
@@ -35,7 +35,7 @@
                                 break
                             if "Defined" in following_line:
                                 break
-                    emoji = "❌" if isAdmitted else "✅"
+                    emoji = "[ ]" if isAdmitted else "[x]"
                     if isAdmitted:
                         admitted += 1
                     else:
diff --git a/CoqOfRust/revm/revm_interpreter/instructions/links/progress_on_links.md b/CoqOfRust/revm/revm_interpreter/instructions/links/progress_on_links.md
index 74de13ee3..647557b47 100644
--- a/CoqOfRust/revm/revm_interpreter/instructions/links/progress_on_links.md
+++ b/CoqOfRust/revm/revm_interpreter/instructions/links/progress_on_links.md
@@ -4,142 +4,142 @@
 
 ## Arithmetic
 
-- ✅ `add`
-- ✅ `mul`
-- ✅ `sub`
-- ✅ `div`
-- ✅ `sdiv`
-- ✅ `rem`
-- ✅ `smod`
-- ✅ `addmod`
-- ✅ `mulmod`
-- ❌ `exp`
-- ❌ `signextend`
+- [x] `add`
+- [x] `mul`
+- [x] `sub`
+- [x] `div`
+- [x] `sdiv`
+- [x] `rem`
+- [x] `smod`
+- [x] `addmod`
+- [x] `mulmod`
+- [ ] `exp`
+- [ ] `signextend`
 
 ## Block_info
 
-- ✅ `chainid`
-- ❌ `coinbase`
-- ✅ `timestamp`
-- ✅ `block_number`
-- ❌ `difficulty`
-- ✅ `gaslimit`
-- ✅ `basefee`
-- ✅ `blob_basefee`
+- [x] `chainid`
+- [ ] `coinbase`
+- [x] `timestamp`
+- [x] `block_number`
+- [ ] `difficulty`
+- [x] `gaslimit`
+- [x] `basefee`
+- [x] `blob_basefee`
 
 ## Contract
 
-- ❌ `eofcreate`
-- ❌ `return_contract`
-- ❌ `extcall_input`
-- ❌ `extcall_gas_calc`
-- ❌ `pop_extcall_target_address`
-- ❌ `extcall`
-- ❌ `extdelegatecall`
-- ❌ `extstaticcall`
-- ❌ `create`
-- ❌ `call`
-- ❌ `call_code`
-- ❌ `delegate_call`
-- ❌ `static_call`
+- [ ] `eofcreate`
+- [ ] `return_contract`
+- [ ] `extcall_input`
+- [ ] `extcall_gas_calc`
+- [ ] `pop_extcall_target_address`
+- [ ] `extcall`
+- [ ] `extdelegatecall`
+- [ ] `extstaticcall`
+- [ ] `create`
+- [ ] `call`
+- [ ] `call_code`
+- [ ] `delegate_call`
+- [ ] `static_call`
 
 ## Control
 
-- ❌ `rjump`
-- ❌ `rjumpi`
-- ❌ `rjumpv`
-- ❌ `jump`
-- ❌ `jumpi`
-- ❌ `jump_inner`
-- ❌ `jumpdest_or_nop`
-- ❌ `callf`
-- ❌ `retf`
-- ❌ `jumpf`
-- ❌ `pc`
-- ❌ `return_inner`
-- ❌ `ret`
-- ❌ `revert`
-- ✅ `stop`
-- ❌ `invalid`
-- ✅ `unknown`
+- [ ] `rjump`
+- [ ] `rjumpi`
+- [ ] `rjumpv`
+- [ ] `jump`
+- [ ] `jumpi`
+- [ ] `jump_inner`
+- [ ] `jumpdest_or_nop`
+- [ ] `callf`
+- [ ] `retf`
+- [ ] `jumpf`
+- [ ] `pc`
+- [ ] `return_inner`
+- [ ] `ret`
+- [ ] `revert`
+- [x] `stop`
+- [ ] `invalid`
+- [x] `unknown`
 
 ## Data
 
-- ❌ `data_load`
-- ❌ `data_loadn`
-- ❌ `data_size`
-- ❌ `data_copy`
+- [ ] `data_load`
+- [ ] `data_loadn`
+- [ ] `data_size`
+- [ ] `data_copy`
 
 ## Host
 
-- ❌ `balance`
-- ❌ `selfbalance`
-- ❌ `extcodesize`
-- ❌ `extcodehash`
-- ❌ `extcodecopy`
-- ❌ `blockhash`
-- ❌ `sload`
-- ❌ `sstore`
-- ❌ `tstore`
-- ❌ `tload`
-- ❌ `log`
-- ❌ `selfdestruct`
+- [ ] `balance`
+- [ ] `selfbalance`
+- [ ] `extcodesize`
+- [ ] `extcodehash`
+- [ ] `extcodecopy`
+- [ ] `blockhash`
+- [ ] `sload`
+- [ ] `sstore`
+- [ ] `tstore`
+- [ ] `tload`
+- [ ] `log`
+- [ ] `selfdestruct`
 
 ## I256
 
-- ❌ `i256_sign`
-- ❌ `i256_sign_compl`
-- ❌ `u256_remove_sign`
-- ❌ `two_compl_mut`
-- ❌ `i256_cmp`
-- ❌ `i256_div`
-- ❌ `i256_mod`
+- [ ] `i256_sign`
+- [ ] `i256_sign_compl`
+- [ ] `u256_remove_sign`
+- [ ] `two_compl_mut`
+- [ ] `i256_cmp`
+- [ ] `i256_div`
+- [ ] `i256_mod`
 
 ## Memory
 
-- ❌ `mload`
-- ❌ `mstore`
-- ❌ `mstore8`
-- ❌ `msize`
-- ❌ `mcopy`
+- [ ] `mload`
+- [ ] `mstore`
+- [ ] `mstore8`
+- [ ] `msize`
+- [ ] `mcopy`
 
 ## Stack
 
-- ✅ `pop`
-- ❌ `push0`
-- ❌ `push`
-- ❌ `dup`
-- ❌ `swap`
-- ✅ `dupn`
-- ✅ `swapn`
-- ❌ `exchange`
+- [x] `pop`
+- [ ] `push0`
+- [ ] `push`
+- [ ] `dup`
+- [ ] `swap`
+- [x] `dupn`
+- [x] `swapn`
+- [ ] `exchange`
 
 ## System
 
-- ❌ `keccak256`
-- ❌ `address`
-- ❌ `caller`
-- ❌ `codesize`
-- ❌ `codecopy`
-- ❌ `calldataload`
-- ✅ `calldatasize`
-- ✅ `callvalue`
-- ❌ `memory_resize`
-- ❌ `calldatacopy`
-- ❌ `returndatasize`
-- ❌ `returndatacopy`
-- ❌ `returndataload`
-- ❌ `gas`
+- [ ] `keccak256`
+- [ ] `address`
+- [ ] `caller`
+- [ ] `codesize`
+- [ ] `codecopy`
+- [ ] `calldataload`
+- [x] `calldatasize`
+- [x] `callvalue`
+- [ ] `memory_resize`
+- [ ] `calldatacopy`
+- [ ] `returndatasize`
+- [ ] `returndatacopy`
+- [ ] `returndataload`
+- [ ] `gas`
 
 ## Tx_info
 
-- ❌ `gasprice`
-- ❌ `origin`
-- ❌ `blob_hash`
+- [ ] `gasprice`
+- [ ] `origin`
+- [ ] `blob_hash`
 
 ## Utility
 
-- ❌ `cast_slice_to_u256`
+- [ ] `cast_slice_to_u256`
 
 ## Summary