st98 の日記帳

p, q =  734957260793116165505496343, 774985788290270540426902087
n = p * q

enc = [352150743274184139568642408429864302307004426519117704, 0, 0, 0, 348848063681803224042392721144096776668607294345691134, 0, 253820499224768536333192288077122213344988651778009349, 0, 548409625757285761070763423357132491898877074666097464, 0, 0, 0, 340581158667644578609349353166936136767685362835649190, 0, 321703954281971266402724413246104050241895445514163082, 5524476081243984726567346713711471201936810223457689, 199267273946187977714982999412063444255289301440053021, 0, 0, 276900992913739477377897494415422531376480921684493914, 487076310641065040368857494836873055985223489215306103, 0, 0, 561529363654937567389648584431680963882656253121171477, 358673135407268913258845476268609649160471049175723452, 0, 0, 301242742726793777716140374379983095893379101868477214, 0, 0, 258484565643328749423604227770745541287535434142077798, 52088736766209022929196489386753829735770864325403038, 145395072700409928878462827944724072516393248180327831, 0, 0, 144655566941435495863415611084362461905855530329694109, 428029817507952689898995815803602654642760765033104414, 564269220473525805415041765312376250339461615073601598, 72841701015763399074106258995335394239829898165871774, 0, 116692319299887000639029633159438321654040040741536379, 0, 0, 41933390614445444209073285911156511250647216427387079, 195310433482791814218167916008181955655740103865075152, 0, 0, 0, 337648984473742017629170208724165389908833734139232765, 0, 0, 0, 0, 441706451411540991609707806657229251416403024623668328, 0, 0, 390116113983452685301918329269213077106100231151056249, 0, 0, 202704019229770673209639718893919930034378288491417664, 218566351519542401147038570559515527394243291865769184, 0, 37603303132492020927173108475419822895042258382398572, 480582323821758015576231090875423900250653700696953373, 67640535593199520167792728334858439385048122760084823, 0, 0, 19183583345770226809154430416052723934247478646032011, 0, 444223555942651329764681716774426130871887669715333686, 456791551424000144521876962030429395552511709900958210, 0, 195672357582290687176260317600923291821116829971920518, 0, 0, 170674131950179711007392529698268094240689091777954838, 243566197243126879153988458634769153607600588692482121, 0, 89279840654446765257439685707215358493235876290554856, 317581103003822662953064140279583958966902798607149047, 480445729726763510615302479930341432881739573905234463, 0, 460851483339458136322476674107867199986733756963374119, 0, 0, 0, 0, 0, 439352366371473953075498103856923572370983659445114694, 0, 0, 0, 126795362681287873853505318194683580877791440381922496, 0, 430303358444794409214233037378259752214178914148410761, 0, 217170969223820349846919623897860519463700318683537643, 0, 202603189970079132981330274433874102237669512188240988, 0, 0, 0, 0, 0, 318420038166128466648262857537381043301348807897917604, 0, 0, 0, 551318573136800895868519491372566937544825765020046750, 392071121893785923044337924418134439586992955404669639, 80984051101180577600204843860818808503563181191602533, 6107915764824005996179881394173512271815597166591466, 291269337853102597614324700960451961205022919225839705, 0, 0, 155918219426776850574390912874276680045371974713012810, 267140248273044515436994284349863931573187527824440948, 27346761129054137074794740379914105738154849453344210, 405814641152968612231540174050381812508875853307807521, 0, 369173891614218386394419681333139373251746947116779880, 0, 0, 0, 0, 48064106163159163703600939330170931833830092579245404, 50193011996675395534442735436731138017115262481377878, 0, 368500369099918336665363465172652180141387131907821254, 0, 156050635583915782362368907357532891046084723866744238, 0, 0, 0, 0, 0, 185242158159335271946031316884855625996041714224135843, 0, 0, 396905091842335450642284132178768903645366020809442735, 395986732810990953535261211231028418340902501827542702, 533668277163835546477872841662817813346757999826944180, 201669637626024138731392852397954025669518638510026264, 0, 256269662229022954881845785692914031196874341235846202, 0, 0, 0, 229419724635458197715690238867356394992758231521148969, 0, 161666523813371319652427079675398983943367879551450313, 297523973427475251188035709013874154946105125638119367, 268607652607898540572289880291719446349023780839434581, 0, 0, 0, 536883275069552264017303971398384526119747431579200437, 0, 379050588739204800393548472416282426446879220649219712, 519055251256284219529817283367469779689340638894595759, 180051083460073832396215084507779830804265344550889670, 0, 0, 178114050866981247624630898622579437042593591522117420, 440501306350280017092770582356655756071342459276757219, 0, 540570805562376491652801428094164486131261123087416174, 0, 523427121534121172479013474403806906434818335292178874, 0, 0, 39386541416310862050201439322764388862014378573490622, 0, 0, 0, 201586032487581010055468450454220699607657822318523086, 50527327205283396348240039384252834813993611458240595, 0, 0, 0, 495106437665855458843349927421155586195360066096125772, 0, 324843698597816665626636192754462471484396034460584947, 484496008355992926344332708480884228104547776111308361, 97801410718700399730569697890136816112635461215903749, 0, 0, 206003007041124674879653516148969582367583870674938772, 0, 233341300896199703294203952364149727826524074220319314, 187704454580331744369516386643803479572546256568987628, 0, 453109742684291930326088795544321093289151277623777138, 0, 0, 462509680431199281760925732528062472133182191899935988, 0, 0, 0, 0, 294218481299076867525184604279762775223981617609420542, 0, 0, 23714416296668219140894245852448312495921269886798262, 0, 0, 0, 214319390452517298077367806528713106830040263099593416, 239132270244091503660396785615913692771417663335316465, 0, 236485203749838938916694644967973926515262999219427252, 0, 0, 0, 0, 0, 72799517221545533815774647167392747218472595711536304, 0, 0, 156489365150500493173754555241402116737029835093426572, 0, 419087481883828420330204695294020697928090213562889850, 268685807462245206463654868278422754996008991361283143, 0, 143530531538833430820128282260879188050510783818230808, 0, 0, 421961064602627725160819701576494551721125536249266963, 0, 0, 0, 55044889796579671399895729198216225021226606885154576, 289753624082870223183220624435529264537326385145492067, 0, 180941972975310360890649688514473943113001118608050457, 0, 0, 0, 0, 0, 93930172870014252667639500200824445096875587977741586, 0, 0, 36457955107757427762533706378499924991816302473843840, 0, 0, 0, 539571284545652153966590081539464686116471532352471148, 110891011868435545112724624701014364627044002370746756, 0, 0, 0, 194152978000431760153236037090731274009165762361199525, 0, 431509150003630194202873547923139000070117018029418381, 0, 461174093784276871334649481963966514348555066420844605, 0, 0, 417639954571892671753534404148166768964466678754774894, 0, 0, 442085067297433858978417359935946149251248667567096559, 0, 251507014227796904113106601776355536204531748615280097, 0, 0, 263779249013683681893368962644712517151030250595777291, 433536185915600766181404822698622471363383206208082488, 170118291825877918214830594146065858529287506462034494, 0, 194568304016632182545287215591184091450533819112981779, 24088659927375350981846523085188220292961168834786145, 0, 0, 567185738066154763900865000395018788911942146099462933, 163577140048725332216746143033445364952000447981117214, 0, 14675948377706805089099117831585871082838823712895892, 0, 37448049298395662926687279834048379632266123419732478, 0, 0, 0, 373286228392711671493948204758235286975326795503647475, 310648276802256277110535762417517882012915041528883124, 0, 103889611370910796730601410816502436908470141091688972, 226359011517468228552093066743678630725171613458110358, 0, 397313751499341533015720034638727385973534074718363962, 0, 0, 0, 0, 0, 57121650046575847117838029399508214531479440611806861, 0, 0, 0, 123700853108719583923200993861149177409055694378379368, 0, 286821296721700020547871930570242768598053367541532719, 422261024616680294872234541741176155019240460672763618, 50875094504041143813575687097334607095518043886311642, 0, 0, 318338661652922077313982157241413931571816749600002820, 0, 324971976247104785592518162368829259719036800642594471, 83346829865955578807141246175821794646637947334391932, 217397214435788322229568509603275086873399995623549562, 70338786834042296340227247876560525412852638145870558, 0, 0, 183929147676205098844539224104461118545854801646951389, 399198390431358090644011266784727432647750142158906788, 0, 33170224536883210110397454954802011575077290139904396, 0, 215087812907333967842709645079752145811931056163893934, 0, 0, 8861144876939607226152787937610148403864256055539929, 0, 0, 0, 0, 353372979864768048841978157665968962965119734423223570, 0, 0, 0, 200013600987211131684607802177239516161780257249396096, 536817344991421025752093210330823763970423002056396548, 0, 556476214090627580916651184424368851420786613402682029, 91739236755656203883166587450770559588776429603138545, 0, 0, 0, 0, 469014806001801213451579372112391946067090767973463894, 83694459090756586621091470694586829257888288753416534, 0, 223012761865794387565185682963407395324832930273929909, 0, 0, 0, 0, 0, 368821655068892908151359881346839478973399414085751733, 0]

dec = decrypt(enc, (p, q))
print dec

import itertools
import zipfile
zf = zipfile.ZipFile('RegularZips.zip', 'r')
for a, b, c in itertools.product('ABCDEFGHIJKLMNOPQRSTUVWXYZ', '0123456789', 'abcdefghijklmnopqrstuvwxyz'):
  password = f'\t7\ty\tRU{a}KKx2 R4{b}{c}B\tN'
  zf.setpassword(password.encode())
  try:
    s = zf.read('hint.txt')
    t = zf.read('archive.zip')
    with open('RegularZips/hint.txt', 'wb') as f:
      f.write(s)
    with open('RegularZips/archive.zip', 'wb') as f:
      f.write(t)
    print(repr(password))
  except:
    pass
zf.close()

import itertools
import re
import shutil
import string
import zipfile

shutil.copyfile('archive.zip', 'tmp.zip')
hint = open('hint.txt').read()[1:-1]

table = {
  '\s': string.whitespace,
  '\d': string.digits,
  '[A-Z]': string.ascii_uppercase,
  '[a-z]': string.ascii_lowercase
}

i = 0
while True:
  print(i)

  zf = zipfile.ZipFile('tmp.zip', 'r')
  pats = re.findall(r'(\\.|\[.+?\])', hint)

  for cs in itertools.product(*[table[x] for x in pats]):
    password = hint
    for pat, new in zip(pats, cs):
      password = password.replace(pat, new, 1)
    zf.setpassword(password.encode())
    try:
      tmp = zf.read('hint.txt')
    except:
      pass
    else:
      hint = zf.read('hint.txt')[1:-1].decode()
      print(repr(hint))
      tmp = zf.read('archive.zip')
      with open('tmp.zip', 'wb') as f:
        f.write(tmp)
      break
  else:
    print('What!?')
    break

  i += 1
  zf.close()

import binascii

table = {
  'L': 0, 'F': 0, 'R': 1, 'B': 1, 'U': 2, 'L2': 2, 'D': 3, 'R2': 3, 'F2': 4, 'U2': 4,
  'B2': 5, 'D2': 5, "L'": 6, "F'": 6, "R'": 7, "U'": 7, "B'": 8, "D'": 8
}

cs = [
  "B2 R U F' R' L' B B2 L F D D' R' F2 D' R R D2 B' L R ",
  "L' L B F2 R2 F2 R' L F' B' R D' D' F U2 B' U U D' U2 F' ",
  "L F' F2 R B R R F2 F' R2 D F' U L U' U' U F D F2 U R U' F U B2 B U2 D B F2 D2 L2 L2 B' F' D' L2 D U2 U2 D2 U B' F D R2 U2 R' B' F2 D' D B' U B' D B' F' U' R U U' L' L' U2 F2 R R F L2 B2 L2 B B' D R R' U L"
]

def decode(c, rep='012345678'):
  res = ''.join(str(table[x]) for x in c.strip().split())
  res = res.translate(str.maketrans(rep, '012345678'))
  return res

# permutation information
tmp = str(int(decode(cs[0]), 9))
i = int(tmp[0])
p = tmp[i+1:i+10]

# length information
tmp = str(int(decode(cs[1], p), 9))
j, k = int(tmp[0]), int(tmp[1])
l = int(tmp[j+2:j+k+2])

# extract messages
tmp = int(decode(cs[2], p)[:l], 9)
print(binascii.unhexlify(hex(tmp)[2:]).decode())

import zlib

offsets = []
with open('zlib.txt') as f:
  s = f.read()
for line in s.splitlines():
  offsets.append(int(line.split()[0]))

with open('dga', 'rb') as f:
  s = f.read()

for k, v in enumerate(offsets[:-1]):
  with open('bins/{:03d}.bin'.format(k), 'wb') as f:
    f.write(zlib.decompress(s[v:offsets[k+1]]))

from nistbeacon import NistBeacon
import time, hashlib

def gen_domain():
    now = int(time.time())
    now -= 100000000
    record = NistBeacon.get_previous(now)
    val = record.output_value
    h = hashlib.md5()
    h.update(str(val).encode('utf-8'))
    res = h.digest()
    domain = ''
    for ch in res:
        tmp = (ch & 15) + (ch >> 4) + ord('a')
        if tmp <= ord('z'):
            domain += chr(tmp)

    domain += '.org'


if __name__ == '__main__':
    gen_domain()

import os
import re
import z85

for x in range(8):
  with open('decompiled/Verifier{}.java'.format(x), 'r') as f:
    s = f.read()

  while True:
    t = [line for line in s.splitlines() if 'jBaseZ85.decode' in line]
    if len(t) < 1:
      with open('result/{}.java'.format(x), 'w') as f:
        f.write(s)
      break

    t = t[0]
    m = ''.join(re.findall(r'"(.+?)"', t))
    m += '0' * (5 - len(m) % 5)

    with open('tmp.class', 'wb') as f:
      f.write(z85.decode(m))

    os.system('java -jar cfr-0.140.jar tmp.class > tmp.java')

    with open('tmp.java', 'r') as f:
      s = f.read()

flag = input("> ")
for i in range(0, len(flag), int((544+5j).imag)):
    inputs = []
    ︙
    temp = getattr(__import__("ha"+"".__class__.__name__[0]+"hl"+(3).__class__.__name__[0]+b'44'.__class__.__name__[0]), "n"+(3j).__class__.__name__[-2]+"w")((lambda _, __, ___, ____, _____, ネコ, q, k:  …, ネコ, q, k: _  )  )))
    getattr(temp, "update")(getattr(flag[i:i + 5], "encode")("utf-8"))
    if getattr(__import__("difflib"), "SequenceMatcher")(None, getattr(getattr(temp, "hexdigest")(), "lower")(), getattr(inputs[i // 5], "decode")("utf-8").lower()).ratio() != 1.0:
        exit()

print("correct")