[38;2;255;95;87m● [0m[38;2;254;188;46m● [0m[38;2;40;200;64m●  [0m[38;2;142;157;174marc:~[0m                                                                                          [38;2;126;140;160mRELATIONAL COMPUTING FOR A CONSEQUENTIAL WORLD[0m[38;2;142;157;174m  v0.2.0-dev[0m
[38;2;124;97;22m─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────[0m
[38;2;124;97;22m┌──────────────────┐[0m[38;2;5;6;9m╭────────────────────────────────────────────────────────────────────────────────────────────────╮[0m[38;2;124;97;22m┌────────────────────────────────────────┐[0m
[38;2;124;97;22m│[0m [1;38;2;255;197;61m ΛRC            [0m [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m            [38;2;255;180;0m██████[0m              [38;2;255;180;0m██████████████████████[0m    [38;2;255;180;0m████████████████████[0m                  [38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [1;38;2;232;163;61mS Y S T E M   S T A T U S             [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m          [38;2;255;180;0m██████████[0m            [38;2;255;180;0m██████[0m          [38;2;255;180;0m██████[0m  [38;2;255;180;0m██████[0m            [38;2;255;180;0m████[0m                  [38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m────────────────────────────────────  [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [1;38;2;17;17;17;48;2;232;163;61m ⌂ Home         [0m [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m        [38;2;255;180;0m██████[0m  [38;2;255;180;0m██████[0m          [38;2;255;180;0m██████[0m          [38;2;255;180;0m██████[0m  [38;2;255;180;0m██████[0m                                  [38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;89;219;141m● [0m[38;2;89;219;141mARC ready[0m[38;2;142;157;174m · research preview[0m         [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m      [38;2;255;180;0m██████[0m      [38;2;255;180;0m██████[0m        [38;2;255;180;0m██████████████████████[0m  [38;2;255;180;0m██████[0m                                  [38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;142;157;174mDatabase     [0m[38;2;232;163;61mDemo fixture[0m              [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;117;203;236m ▤ [0m[38;2;175;195;209mDatabase[0m      [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m      [38;2;255;180;0m██████[0m      [38;2;255;180;0m██████[0m        [38;2;255;180;0m██████[0m      [38;2;255;180;0m██████[0m      [38;2;255;180;0m██████[0m                                  [38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;142;157;174mVALIS        [0m[38;2;126;140;160mDisconnected[0m              [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m    [38;2;255;180;0m██████████████████████[0m      [38;2;255;180;0m██████[0m        [38;2;255;180;0m██████[0m    [38;2;255;180;0m██████[0m                                  [38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;142;157;174mIdentity     [0m[38;2;175;195;209mLocal · unadmitted[0m        [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;117;203;236m ↻ [0m[38;2;175;195;209mARC Language[0m  [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m  [38;2;255;180;0m██████████████████████████[0m    [38;2;255;180;0m██████[0m          [38;2;255;180;0m██████[0m  [38;2;255;180;0m██████[0m                                  [38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;142;157;174mEnvironment  [0m[38;2;117;203;236mlocal[0m                     [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m  [38;2;255;180;0m██████[0m              [38;2;255;180;0m██████[0m    [38;2;255;180;0m██████[0m          [38;2;255;180;0m██████[0m  [38;2;255;180;0m██████[0m            [38;2;255;180;0m████[0m                  [38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;142;157;174mVersion      [0m[38;2;175;195;209m0.2.0-dev[0m                 [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;117;203;236m </> [0m[38;2;175;195;209mRun[0m         [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m[38;2;255;180;0m██████[0m                  [38;2;255;180;0m██████[0m  [38;2;255;180;0m██████[0m          [38;2;255;180;0m██████[0m    [38;2;255;180;0m████████████████████[0m                  [38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;142;157;174mCommit       [0m[38;2;175;195;209mbf9beee2[0m                  [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m[38;2;126;140;160m                  RELATIONAL COMPUTING. CONSEQUENCES INCLUDED.                                  [0m[38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;142;157;174mMode         [0m[38;2;89;219;141mread-only[0m                 [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;117;203;236m ▷ [0m[38;2;175;195;209mExplore[0m       [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m                                                                                                [38;2;5;6;9m│[0m[38;2;124;97;22m└────────────────────────────────────────┘[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m[38;2;232;163;61mA U T O N O M O U S                                                                             [0m[38;2;5;6;9m│[0m[38;2;124;97;22m┌────────────────────────────────────────┐[0m
[38;2;124;97;22m│[0m [38;2;117;203;236m ◎ [0m[38;2;175;195;209mEvidence[0m      [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m[38;2;232;163;61mR E L A T I O N A L                                                                             [0m[38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [1;38;2;232;163;61mQ U I C K   S T A R T                 [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;5;6;9m│[0m[38;2;232;163;61mC O M P U T E R                                                                                 [0m[38;2;5;6;9m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m────────────────────────────────────  [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;117;203;236m ⚙ [0m[38;2;175;195;209mConfig[0m        [38;2;124;97;22m│[0m[38;2;5;6;9m╰────────────────────────────────────────────────────────────────────────────────────────────────╯[0m[38;2;124;97;22m│[0m [38;2;99;179;217marc init          [0m[38;2;175;195;209mCreate a new project[0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m───────────────────────────────────────────────────────────────────────────────────────────────   [0m[38;2;124;97;22m│[0m [38;2;99;179;217marc db init       [0m[38;2;175;195;209mInitialize database[0m  [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;117;203;236m ? [0m[38;2;175;195;209mHelp[0m          [38;2;124;97;22m│[0m[38;2;232;163;61m   ARC DATABASE      │      ARC LANGUAGE      │      VALIS INTEGRATION      │      EVIDENCE BY    [0m[38;2;124;97;22m│[0m [38;2;99;179;217marc repl          [0m[38;2;175;195;209mStart ARC REPL[0m       [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;232;163;61mDESIGN                                                                                            [0m[38;2;124;97;22m│[0m [38;2;99;179;217marc run main.arc  [0m[38;2;175;195;209mExecute a program[0m    [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m┌────────────────────────────────────────────────────────────────────────────────────────────────┐[0m[38;2;124;97;22m│[0m [38;2;99;179;217marc query "..."   [0m[38;2;175;195;209mRun a query[0m          [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [1;38;2;237;240;246mWelcome to [0m[1;38;2;255;197;61mΛRC[0m                                                                                 [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217marc graph         [0m[38;2;175;195;209mVisualize relations[0m  [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;175;195;209mA new kind of database and language for a more consequential world.                           [0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217marc evidence      [0m[38;2;175;195;209mShow latest evidence[0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;175;195;209mModel complex systems as relations. Compute what is reachable.                                [0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217marc help          [0m[38;2;175;195;209mShow all commands[0m    [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;175;195;209mKeep the evidence.                                                                            [0m [38;2;124;97;22m│[0m[38;2;124;97;22m└────────────────────────────────────────┘[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m                                                                                                [38;2;124;97;22m│[0m[38;2;124;97;22m┌────────────────────────────────────────┐[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m┌─────────────────────┐[0m [38;2;124;97;22m┌─────────────────────┐[0m [38;2;124;97;22m┌────────────────────┐[0m [38;2;124;97;22m┌─────────────────────┐[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [1;38;2;232;163;61mEXAMPLE: YOUR FIRST QUERY             [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;255;197;61m▤                  [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;255;197;61m</>                [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;255;197;61m⚛                 [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;255;197;61m⚖                  [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;255;197;61marc query [0m[38;2;175;195;209m"[0m                            [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;255;197;61mARC DATABASE       [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;255;197;61mARC LANGUAGE       [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;255;197;61mCONSEQUENTIAL     [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;255;197;61mEVIDENCE NATIVE    [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217m    from agent                        [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;255;197;61mCOMPUTATION       [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217m    where role == 'operator'          [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mNative relational  [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mA relational DSL   [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                    [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mEvery query,       [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217m    select id, authority, constraints [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mstore for          [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mfor expressive,    [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mCompute reachable [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mdecision and effect[0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;175;195;209m    "                                 [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mconsequential      [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mverifiable         [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mstates with       [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mcan be recomputed  [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m└────────────────────────────────────────┘[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209msystems.           [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mprograms.          [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mevidence and      [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mand verified.      [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m┌────────────────────────────────────────┐[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;175;195;209mconstraints.      [0m [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [1;38;2;232;163;61mEXAMPLE: CREATE AND RUN               [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                    [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;126;140;160m$ [0m[38;2;99;179;217marc init my-project[0m                  [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                    [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;126;140;160m$ [0m[38;2;99;179;217mcd my-project[0m                        [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;124;97;22m└─────────────────────┘[0m [38;2;124;97;22m└─────────────────────┘[0m [38;2;124;97;22m└────────────────────┘[0m [38;2;124;97;22m└─────────────────────┘[0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;126;140;160m$ [0m[38;2;99;179;217marc db init[0m                          [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m└────────────────────────────────────────────────────────────────────────────────────────────────┘[0m[38;2;124;97;22m│[0m [38;2;126;140;160m$ [0m[38;2;99;179;217marc run examples/hello.arc[0m           [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m┌───────────────────────────────────────────────────────┐[0m [38;2;124;97;22m┌──────────────────────────────────────┐[0m[38;2;124;97;22m└────────────────────────────────────────┘[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;232;163;61m◷ [0m[1;38;2;232;163;61mR E C E N T   A C T I V I T Y[0m                       [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [38;2;232;163;61m→ [0m[1;38;2;232;163;61mN E X T   S T E P S[0m                [38;2;124;97;22m│[0m[38;2;124;97;22m┌────────────────────────────────────────┐[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;126;140;160m11:55:21  [0m[38;2;89;219;141m✓ [0m[38;2;175;195;209mLocal terminal initialized[0m                [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;17;17;17;48;2;232;163;61m 1 [0m[38;2;175;195;209m  Initialize a project[0m            [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [1;38;2;232;163;61mG E T   H E L P                       [0m [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m                  [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;126;140;160m11:55:21  [0m[38;2;89;219;141m✓ [0m[38;2;175;195;209mDemo fixture loaded · synthetic field[0m     [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;17;17;17;48;2;232;163;61m 2 [0m[38;2;175;195;209m  Explore example queries[0m         [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217marc help           [0m[38;2;175;195;209mAll commands[0m        [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;126;140;160mBUILT FOR       [0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;126;140;160m11:55:21  [0m[38;2;89;219;141m✓ [0m[38;2;175;195;209mSettlement boundary checked[0m[38;2;232;163;61m · not [0m        [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;17;17;17;48;2;232;163;61m 3 [0m[38;2;175;195;209m  Try the ARC language[0m            [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217marc help <command> [0m[38;2;175;195;209mCommand details[0m     [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;126;140;160mA MORE          [0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;232;163;61mconnected[0m                                             [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;17;17;17;48;2;232;163;61m 4 [0m[38;2;175;195;209m  Run a computation[0m               [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217marc docs           [0m[38;2;175;195;209mOpen documentation[0m  [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;126;140;160mCONSEQUENTIAL   [0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;126;140;160m11:55:21  [0m[38;2;89;219;141m✓ [0m[38;2;175;195;209mREPL ready. Type `arc help` to get [0m       [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m [1;38;2;17;17;17;48;2;232;163;61m 5 [0m[38;2;175;195;209m  Examine the evidence[0m            [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;99;179;217marc --version      [0m[38;2;175;195;209mShow version[0m        [38;2;124;97;22m│[0m
[38;2;124;97;22m│[0m [38;2;126;140;160mFUTURE.         [0m [38;2;124;97;22m│[0m[38;2;124;97;22m│[0m [38;2;175;195;209mstarted.[0m                                              [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                                      [38;2;124;97;22m│[0m[38;2;124;97;22m└────────────────────────────────────────┘[0m
[38;2;124;97;22m└──────────────────┘[0m[38;2;124;97;22m│[0m                                                       [38;2;124;97;22m│[0m [38;2;124;97;22m│[0m                                      [38;2;124;97;22m│[0m[38;2;126;140;160mTab: complete  ↑↓: history  Ctrl+C: exit  [0m
                    [38;2;124;97;22m└───────────────────────────────────────────────────────┘[0m [38;2;124;97;22m└──────────────────────────────────────┘[0m                                          
                    [38;2;124;97;22m┌────────────────────────────────────────────────────────────────────────────────────────────────┐[0m                                          
                    [38;2;124;97;22m│[0m [38;2;117;203;236marc:~ $ [0m[38;2;237;240;246m█[0m                                                                                      [38;2;124;97;22m│[0m                                          
                    [38;2;124;97;22m│[0m                                                                                                [38;2;124;97;22m│[0m                                          
                    [38;2;124;97;22m└────────────────────────────────────────────────────────────────────────────────────────────────┘[0m                                          
[38;2;124;97;22m─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────[0m
[38;2;232;163;61m ΛRC[0m[38;2;126;140;160m    │    OPEN FOUNDATION    │    VERIFIABLE COMPUTATION    │    HUMAN AUTHORITY    │    A MORE CONSEQUENTIAL WORLD[0m
