clar

import math
from re import S

def choose(n, k): 
    return math.factorial(n) // math.factorial(k) // math.factorial(n-k)

def prob(n, k, p): 
    return math.exp(math.log(p) * k + math.log(1-p) * (n-k) + math.log(choose(n, k)))

def probge(n, k, p): 

clar

Keybase proof

I hereby claim:

• I am clar on github.
• I am afu2019 (https://keybase.io/afu2019) on keybase.
• I have a public key whose fingerprint is B291 B972 E732 04B8 0606 2533 3706 7E50 8FA0 2C3F

To claim this, I am signing this object:

clar

afu2022

Keybase proof

I hereby claim:

• I am clar on github.
• I am afu2022 (https://keybase.io/afu2022) on keybase.
• I have a public key ASCfzVIT_H7knoAyrjh7g4cL__zOpfTFNuiHX-IS4J_tugo

To claim this, I am signing this object:

clar

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "./IERC20.sol";
import "./extensions/IERC20Metadata.sol";
import "../../utils/Context.sol";

/**
 * @dev Implementation of the {IERC20} interface.

clar

#!/bin/bash

brew unlink thrift
brew install https://raw.githubusercontent.com/Homebrew/homebrew-core/4ba654c6d99b3b6804dd3843546a9dcbb700188b/Formula/thrift.rb

clar

/**
 *Submitted for verification at Etherscan.io on 2020-09-28
*/

/**
 *Submitted for verification at Etherscan.io on 2019-08-02
*/

// File: contracts\open-zeppelin-contracts\token\ERC20\IERC20.sol

clar

/**
 *Submitted for verification at Etherscan.io on 2020-03-14
*/

pragma solidity ^0.4.24;
//ERC20
contract ERC20Ownable {
    address public owner;

    constructor() public{

clar

type transferLogicEnteredData struct {
	Data []byte
}


transferLogicABI    = "[{\"constant\":true,\"inputs\":[{\"name\":\"_key\",\"type\":\"address\"}],\"name\":\"getKeyNonce\",\"outputs\":[{\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"accountStorage\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"name\":\"_accountStorage\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"name\":\"account\",\"type\":\"address\"}],\"name\":\"TransferLogicInitialised\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"name\":\"data\",\"type\":\"bytes\"},{\"indexed\":true,\"name\":\"nonce\",\"type\":\"uint256\"}],\"name\":\"TransferLogicEntered\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"index

clar

/**
 *Submitted for verification at Etherscan.io on 2020-07-01
*/

pragma solidity ^0.5.0;
pragma experimental ABIEncoderV2;

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);

clar

const assert = require('assert');
const leftPad = require('left-pad');
const truffleAssert = require('truffle-assertions');

const AccountStorage = artifacts.require("AccountStorage");
const LogicManager = artifacts.require("LogicManager");
const TransferLogic = artifacts.require("TransferLogic");
const BaseAccount = artifacts.require("Account");
const MyToken = artifacts.require("MyToken");
const MyNft = artifacts.require("MyNft");