- 日時 2021-01-23 22:51:28
- 参加者 @昆布(静養せえよー) @きつね @mug @しとお(azaika先生に1700円) たほいやAIくん1号 (仮) @Kazuki Ota たほいやAIくん2号 (仮) (7人)
- 出題者 @Szkieletor 演習3実装物アップロード
- キャラクターデザイナー
- 宋代の詩人
- パラオ諸島を主な生息地とする蛾
| const Axios = require('axios'); | |
| const qs = require('querystring'); | |
| const https = require('https'); | |
| const random = Array(10).fill().map(() => 'abcdefg'[Math.floor(Math.random() * 6)]).join(''); | |
| (async () => { | |
| const axios = Axios.create({ | |
| httpsAgent: new https.Agent({ | |
| rejectUnauthorized: false, |
| require "big" | |
| record Mint, value : BigInt do | |
| MOD = BigInt.new("6722156186149423473586056936189163112345526308304739592548269432948561498704906497631759731744824085311511299618196491816929603296108414569727189748975204102209646335725406551943711581704258725226874414399572244863268492324353927787818836752142254189928999592648333789131233670456465647924867060170327150559233") | |
| ZERO = BigInt.new("0") | |
| ONE = BigInt.new("1") | |
| TWO = BigInt.new("2") | |
| def self.factorial(n) | |
| if @@factorials.empty? |
| import re | |
| from sage.modules.free_module_integer import IntegerLattice | |
| from math import sqrt, cos, pi | |
| from PIL import Image | |
| # Restore ZZs of original JPEG | |
| qt = [ | |
| 16, 11, 10, 16, 24, 40, 51, 61, |
| from z3 import * | |
| outputs = '011110100001111101000100001101011111010110000110100010101011101110110110100000101110000011101000001001011010100111000110100111011100001000010010111100000000000001001011000010110001001111111011100010010110101001000001110111111110000111110000010001011101101101100010111011101101001010110000001011010110011110011101001001000111101000011001100111001010011101100000011111001101001111000010000010101111000111101100000111010000010110100010011100111010001000100000000110100110110101110000110111111000001010111100000100110011001011100111101110011111001011110010000000101110010011001101101011101011001100111010101111010111011100011110111010001100111010100010110000101010100100010001010110101100101000111001111000111011000000001000001110100000110000101101110111000000000010011011' | |
| initial_state = BoolVector('state', 64) | |
| solver = Solver() | |
| state = initial_state | |
| for _ in range(512): | |
| new_state = [None] * 64 |
| from sage.modules.free_module_integer import IntegerLattice | |
| from random import randint | |
| import sys | |
| from itertools import starmap | |
| from operator import mul | |
| # Babai's Nearest Plane algorithm | |
| # from: http://mslc.ctf.su/wp/plaidctf-2016-sexec-crypto-300/ | |
| def Babai_closest_vector(M, G, target): | |
| small = target |