Annotation of researchv10no/cmd/ideal/tests/horn.new, revision 1.1

1.1     ! root        1: .IS
        !             2: .IE
        !             3: .IS
        !             4: ...maxx 1
        !             5: ...maxy 0
        !             6: ...minx -2
        !             7: ...miny 0
        !             8: ...line 1 0 -1 0
        !             9: ...center -2 0 'version 0
        !            10: .IE
        !            11: .IS
        !            12: ...maxx -2
        !            13: ...maxy 0
        !            14: ...minx -2
        !            15: ...miny 0
        !            16: ...center -2 0 'version 1
        !            17: .IE
        !            18: .IS
        !            19: ...maxx 1
        !            20: ...maxy 0
        !            21: ...minx -2
        !            22: ...miny 0
        !            23: ...line -1 0 1 0
        !            24: ...center -2 0 'version 2
        !            25: .IE
        !            26: .IS
        !            27: ...maxx -2
        !            28: ...maxy 0
        !            29: ...minx -2
        !            30: ...miny 0
        !            31: ...center -2 0 'version 3
        !            32: .IE
        !            33: .IS
        !            34: ...maxx 0
        !            35: ...maxy 3
        !            36: ...minx -2
        !            37: ...miny -1
        !            38: ...line 0 3 0 2
        !            39: ...line 0 1 0 -1
        !            40: ...center -2 0 'version 4
        !            41: .IE
        !            42: .IS
        !            43: ...maxx -2
        !            44: ...maxy 0
        !            45: ...minx -2
        !            46: ...miny 0
        !            47: ...center -2 0 'version 5
        !            48: .IE
        !            49: .IS
        !            50: ...maxx 0
        !            51: ...maxy 3
        !            52: ...minx -2
        !            53: ...miny -1
        !            54: ...line 0 -1 0 1
        !            55: ...line 0 2 0 3
        !            56: ...center -2 0 'version 6
        !            57: .IE
        !            58: .IS
        !            59: ...maxx -2
        !            60: ...maxy 0
        !            61: ...minx -2
        !            62: ...miny 0
        !            63: ...center -2 0 'version 7
        !            64: .IE
        !            65: .IS
        !            66: ...maxx 0
        !            67: ...maxy 1
        !            68: ...minx -2
        !            69: ...miny -1
        !            70: ...line 0 1 0 -1
        !            71: ...center -2 0 'version 8
        !            72: .IE
        !            73: .IS
        !            74: ...maxx -2
        !            75: ...maxy 0
        !            76: ...minx -2
        !            77: ...miny 0
        !            78: ...center -2 0 'version 9
        !            79: .IE
        !            80: .IS
        !            81: ...maxx 0
        !            82: ...maxy 1
        !            83: ...minx -2
        !            84: ...miny -1
        !            85: ...line 0 -1 0 1
        !            86: ...center -2 0 'version 10
        !            87: .IE
        !            88: .IS
        !            89: ...maxx -2
        !            90: ...maxy 0
        !            91: ...minx -2
        !            92: ...miny 0
        !            93: ...center -2 0 'version 11
        !            94: .IE
        !            95: .IS
        !            96: ...maxx 0
        !            97: ...maxy 1
        !            98: ...minx -2
        !            99: ...miny -1
        !           100: ...line 0 1 0 -1
        !           101: ...center -2 0 'version 12
        !           102: .IE
        !           103: .IS
        !           104: ...maxx -2
        !           105: ...maxy 0
        !           106: ...minx -2
        !           107: ...miny 0
        !           108: ...center -2 0 'version 13
        !           109: .IE
        !           110: .IS
        !           111: ...maxx 0
        !           112: ...maxy 1
        !           113: ...minx -2
        !           114: ...miny -1
        !           115: ...line 0 -1 0 1
        !           116: ...center -2 0 'version 14
        !           117: .IE
        !           118: .IS
        !           119: ...maxx -2
        !           120: ...maxy 0
        !           121: ...minx -2
        !           122: ...miny 0
        !           123: ...center -2 0 'version 15
        !           124: .IE
        !           125: .IS
        !           126: ...maxx 0
        !           127: ...maxy 0.5
        !           128: ...minx -2
        !           129: ...miny -1
        !           130: ...line 0 0.5 0 -1
        !           131: ...center -2 0 'version 16
        !           132: .IE
        !           133: .IS
        !           134: ...maxx -2
        !           135: ...maxy 0
        !           136: ...minx -2
        !           137: ...miny 0
        !           138: ...center -2 0 'version 17
        !           139: .IE
        !           140: .IS
        !           141: ...maxx 0
        !           142: ...maxy 0.5
        !           143: ...minx -2
        !           144: ...miny -1
        !           145: ...line 0 -1 0 0.5
        !           146: ...center -2 0 'version 18
        !           147: .IE
        !           148: .IS
        !           149: ...maxx -2
        !           150: ...maxy 0
        !           151: ...minx -2
        !           152: ...miny 0
        !           153: ...center -2 0 'version 19
        !           154: .IE
        !           155: .IS
        !           156: ...maxx 0
        !           157: ...maxy 1
        !           158: ...minx -2
        !           159: ...miny 0
        !           160: ...line 0 1 0 0
        !           161: ...center -2 0 'version 20
        !           162: .IE
        !           163: .IS
        !           164: ...maxx -2
        !           165: ...maxy 0
        !           166: ...minx -2
        !           167: ...miny 0
        !           168: ...center -2 0 'version 21
        !           169: .IE
        !           170: .IS
        !           171: ...maxx 0
        !           172: ...maxy 1
        !           173: ...minx -2
        !           174: ...miny 0
        !           175: ...line 0 0 0 1
        !           176: ...center -2 0 'version 22
        !           177: .IE
        !           178: .IS
        !           179: ...maxx -2
        !           180: ...maxy 0
        !           181: ...minx -2
        !           182: ...miny 0
        !           183: ...center -2 0 'version 23
        !           184: .IE
        !           185: .IS
        !           186: ...maxx 0
        !           187: ...maxy 1
        !           188: ...minx -2
        !           189: ...miny 0
        !           190: ...line 0 1 0 0
        !           191: ...center -2 0 'version 24
        !           192: .IE
        !           193: .IS
        !           194: ...maxx -2
        !           195: ...maxy 0
        !           196: ...minx -2
        !           197: ...miny 0
        !           198: ...center -2 0 'version 25
        !           199: .IE
        !           200: .IS
        !           201: ...maxx 0
        !           202: ...maxy 1
        !           203: ...minx -2
        !           204: ...miny 0
        !           205: ...line 0 0 0 1
        !           206: ...center -2 0 'version 26
        !           207: .IE
        !           208: .IS
        !           209: ...maxx -2
        !           210: ...maxy 0
        !           211: ...minx -2
        !           212: ...miny 0
        !           213: ...center -2 0 'version 27
        !           214: .IE
        !           215: .IS
        !           216: ...maxx 1
        !           217: ...maxy 1
        !           218: ...minx -2
        !           219: ...miny 0
        !           220: ...line 1 1 -2.98023e-08 1
        !           221: ...line -1 1 -2 1
        !           222: ...center -2 0 'version 28
        !           223: .IE
        !           224: .IS
        !           225: ...maxx -2.98023e-08
        !           226: ...maxy 1
        !           227: ...minx -2
        !           228: ...miny 0
        !           229: ...line -2.98023e-08 1 -1 1
        !           230: ...center -2 0 'version 29
        !           231: .IE
        !           232: .IS
        !           233: ...maxx 1
        !           234: ...maxy 1
        !           235: ...minx -2
        !           236: ...miny 0
        !           237: ...line -2 1 -1 1
        !           238: ...line 5.96046e-08 1 1 1
        !           239: ...center -2 0 'version 30
        !           240: .IE
        !           241: .IS
        !           242: ...maxx 5.96046e-08
        !           243: ...maxy 1
        !           244: ...minx -2
        !           245: ...miny 0
        !           246: ...line -1 1 5.96046e-08 1
        !           247: ...center -2 0 'version 31
        !           248: .IE
        !           249: .IS
        !           250: ...maxx 1
        !           251: ...maxy 1
        !           252: ...minx -2
        !           253: ...miny 0
        !           254: ...line 1 1 0 1
        !           255: ...center -2 0 'version 32
        !           256: .IE
        !           257: .IS
        !           258: ...maxx 0
        !           259: ...maxy 1
        !           260: ...minx -2
        !           261: ...miny 0
        !           262: ...line 0 1 -1 1
        !           263: ...center -2 0 'version 33
        !           264: .IE
        !           265: .IS
        !           266: ...maxx 1
        !           267: ...maxy 1
        !           268: ...minx -2
        !           269: ...miny 0
        !           270: ...line 0 1 1 1
        !           271: ...center -2 0 'version 34
        !           272: .IE
        !           273: .IS
        !           274: ...maxx 0
        !           275: ...maxy 1
        !           276: ...minx -2
        !           277: ...miny 0
        !           278: ...line -1 1 0 1
        !           279: ...center -2 0 'version 35
        !           280: .IE
        !           281: .IS
        !           282: ...maxx -2
        !           283: ...maxy 0
        !           284: ...minx -2
        !           285: ...miny 0
        !           286: ...center -2 0 'version 36
        !           287: .IE
        !           288: .IS
        !           289: ...maxx 0
        !           290: ...maxy 1
        !           291: ...minx -2
        !           292: ...miny 0
        !           293: ...line 0 1 -1 1
        !           294: ...center -2 0 'version 37
        !           295: .IE
        !           296: .IS
        !           297: ...maxx -2
        !           298: ...maxy 0
        !           299: ...minx -2
        !           300: ...miny 0
        !           301: ...center -2 0 'version 38
        !           302: .IE
        !           303: .IS
        !           304: ...maxx 0
        !           305: ...maxy 1
        !           306: ...minx -2
        !           307: ...miny 0
        !           308: ...line -1 1 0 1
        !           309: ...center -2 0 'version 39
        !           310: .IE
        !           311: .IS
        !           312: ...maxx 1
        !           313: ...maxy 2
        !           314: ...minx -2
        !           315: ...miny 0
        !           316: ...line 1 2 -1 2
        !           317: ...center -2 0 'version 40
        !           318: .IE
        !           319: .IS
        !           320: ...maxx -2
        !           321: ...maxy 0
        !           322: ...minx -2
        !           323: ...miny 0
        !           324: ...center -2 0 'version 41
        !           325: .IE
        !           326: .IS
        !           327: ...maxx 1
        !           328: ...maxy 2
        !           329: ...minx -2
        !           330: ...miny 0
        !           331: ...line -1 2 1 2
        !           332: ...center -2 0 'version 42
        !           333: .IE
        !           334: .IS
        !           335: ...maxx -2
        !           336: ...maxy 0
        !           337: ...minx -2
        !           338: ...miny 0
        !           339: ...center -2 0 'version 43
        !           340: .IE
        !           341: .IS
        !           342: ...maxx 0
        !           343: ...maxy 2
        !           344: ...minx -2
        !           345: ...miny 0
        !           346: ...line 0 2 -1 2
        !           347: ...center -2 0 'version 44
        !           348: .IE
        !           349: .IS
        !           350: ...maxx -2
        !           351: ...maxy 0
        !           352: ...minx -2
        !           353: ...miny 0
        !           354: ...center -2 0 'version 45
        !           355: .IE
        !           356: .IS
        !           357: ...maxx 0
        !           358: ...maxy 2
        !           359: ...minx -2
        !           360: ...miny 0
        !           361: ...line -1 2 0 2
        !           362: ...center -2 0 'version 46
        !           363: .IE
        !           364: .IS
        !           365: ...maxx -2
        !           366: ...maxy 0
        !           367: ...minx -2
        !           368: ...miny 0
        !           369: ...center -2 0 'version 47
        !           370: .IE

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.