<s> """<STR_LIT>""" <EOL> import ufora . native <EOL> import ufora . FORA . python . Runtime as Runtime <EOL> import ufora . native . FORA as FORANative <EOL> import os <EOL> dir = os . path . dirname ( __file__ ) <EOL> AXIOMS_TO_TEST_FILENAME = os . path . join ( dir , "<STR_LIT>" ) <EOL> runtime = Runtime . getMainRuntime ( ) <EOL> axioms = runtime . getAxioms ( ) <EOL> readme_string = '<STR_LIT>' <EOL> with open ( AXIOMS_TO_TEST_FILENAME , "<STR_LIT:w>" ) as f : <EOL> f . write ( readme_string ) <EOL> f . write ( '<STR_LIT>' ) <EOL> for i in range ( axioms . axiomCount ) : <EOL> f . write ( "<STR_LIT>" % axioms . getAxiomGroupByIndex ( i ) . signature ( ) ) <EOL> f . write ( '<STR_LIT>' ) </s>
