0x60606040523615610171576000357c0100000000000000000000000000000000000000000000000000000000900480630e1087c314610173578063155dd5ee146101b957806317c65aa7146101d15780632043285d146102185780634665096d1461046e5780634b97aed9146104915780634c2067c7146104b4578063502414e4146104d75780635c665f891461052d5780635e71823b146105625780636f307dc314610585578063756fb8c9146106005780637ae2b5c7146106b45780637c7c7695146106e95780638ce25a93146107155780638f76691a14610738578063938544941461075b5780639ab90ba01461077e578063a23281e6146107a1578063a26759cb146107c4578063bbf646c2146107d3578063bd8582881461080c578063c6cb7a9614610875578063ce88b145146108e9578063d4649fde1461092b578063d4dfadbf14610967578063d5544f9414610a78578063dc06b85914610aab578063ec0b415314610ace57610171565b005b6101806004805050611952565b60405180878152602001868152602001858152602001848152602001838152602001828152602001965050505050505060405180910390f35b6101cf6004808035906020019091905050610ebb565b005b6102026004808035906020019091908035906020019091908035906020019091908035906020019091905050612b87565b6040518082815260200191505060405180910390f35b61022560048050506116d2565b6040518080602001806020018060200180602001806020018060200187810387528d8181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156102995780820380516001836020036101000a031916815260200191505b5087810386528c8181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156102f25780820380516001836020036101000a031916815260200191505b5087810385528b8181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f16801561034b5780820380516001836020036101000a031916815260200191505b5087810384528a8181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156103a45780820380516001836020036101000a031916815260200191505b508781038352898181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156103fd5780820380516001836020036101000a031916815260200191505b508781038252888181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156104565780820380516001836020036101000a031916815260200191505b509c5050505050505050505050505060405180910390f35b61047b6004805050610b0c565b6040518082815260200191505060405180910390f35b61049e6004805050610bf7565b6040518082815260200191505060405180910390f35b6104c16004805050610c00565b6040518082815260200191505060405180910390f35b61052b6004808035906020019082018035906020019191908080601f01602080910402602001604051908101604052809392919081815260200183838082843782019150505050505090909190505061118b565b005b61054c600480803590602001909190803590602001909190505061104b565b6040518082815260200191505060405180910390f35b61056f6004805050610c13565b6040518082815260200191505060405180910390f35b6105926004805050610b15565b60405180806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156105f25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61060d6004805050611abe565b60405180878152602001806020018681526020018581526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281038252878181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156106a15780820380516001836020036101000a031916815260200191505b5097505050505050505060405180910390f35b6106d36004808035906020019091908035906020019091905050612e3e565b6040518082815260200191505060405180910390f35b6106ff6004808035906020019091905050610c37565b6040518082815260200191505060405180910390f35b6107226004805050610c2e565b6040518082815260200191505060405180910390f35b6107456004805050610bb6565b6040518082815260200191505060405180910390f35b6107686004805050610bc8565b6040518082815260200191505060405180910390f35b61078b6004805050610bbf565b6040518082815260200191505060405180910390f35b6107ae6004805050610c1c565b6040518082815260200191505060405180910390f35b6107d16004805050610cc0565b005b6107e06004805050610bd1565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610873600480803590602001909190803590602001909190803590602001909190803590602001909190803590602001909190803590602001909190803590602001909190803590602001909190803590602001909190803590602001909190505061261a565b005b6108d360048080359060200190919080359060200190919080359060200190919080359060200190919080359060200190919080359060200190919080359060200190919080359060200190919080359060200190919050506124b7565b6040518082815260200191505060405180910390f35b6108ff6004808035906020019091905050610c75565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109656004808035906020019091908035906020019091908035906020019091908035906020019091908035906020019091905050611e73565b005b61097d6004808035906020019091905050611bd1565b60405180806020018060200180602001806020018581038552898181518152602001915080519060200190602002808383829060006004602084601f0104600f02600301f1509050018581038452888181518152602001915080519060200190602002808383829060006004602084601f0104600f02600301f1509050018581038352878181518152602001915080519060200190602002808383829060006004602084601f0104600f02600301f1509050018581038252868181518152602001915080519060200190602002808383829060006004602084601f0104600f02600301f1509050019850505050505050505060405180910390f35b610a8e6004808035906020019091905050611163565b604051808381526020018281526020019250505060405180910390f35b610ab86004805050610c25565b6040518082815260200191505060405180910390f35b610af66004808035906020019091908035906020019091908035906020019091905050612428565b6040518082815260200191505060405180910390f35b60006000505481565b60016000508054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610bae5780601f10610b8357610100808354040283529160200191610bae565b820191906000526020600020905b815481529060010190602001808311610b9157829003601f168201915b505050505081565b60026000505481565b60036000505481565b60046000505481565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60076000505481565b600860009054906101000a900460ff1681565b600a6000505481565b600b6000505481565b600e6000505481565b60116000505481565b6000601260005060008373ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050549050610c70565b919050565b60006010600050600083815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050610cbb565b919050565b60006000601260005060003373ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050541115610d5a573460106000506000601260005060003373ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050548152602001908152602001600020600050600101600082828250540192505081905550610e13565b60116000818150546001019190508190559050336010600050600083815260200190815260200160002060005060000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff02191690830217905550346010600050600083815260200190815260200160002060005060010160008282825054019250508190555080601260005060003373ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050819055505b3373ffffffffffffffffffffffffffffffffffffffff167f7abec35694c35ed7632e2f5b5bdbeeec4ab789a629bb5c933a6d88683c911f623460106000506000601260005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005054815260200190815260200160002060005060010160005054604051808381526020018281526020019250505060405180910390a25b50565b6000601260005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005054111561104757610efe33600161104b565b8113158015610f0d5750600081135b15611046578060106000506000601260005060003373ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000505481526020019081526020016000206000506001016000828282505403925050819055503373ffffffffffffffffffffffffffffffffffffffff168160405180905060006040518083038185876185025a03f192505050503373ffffffffffffffffffffffffffffffffffffffff167f0e2df9aad70154183f98195f725305fa4b41380f60fdc00da8a56bbe60e86e528260106000506000601260005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005054815260200190815260200160002060005060010160005054604051808381526020018281526020019250505060405180910390a25b5b5b50565b60006000601260005060008573ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000505411156111535760008214156110e85760106000506000601260005060008673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005054815260200190815260200160002060005060010160005054905061115d5661114e565b6110f783600060006000612b87565b60106000506000601260005060008773ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000505481526020019081526020016000206000506001016000505401905061115d565b61115c565b6000905061115d565b5b92915050565b6000600061117283600061104b565b61117d84600161104b565b91509150611186565b915091565b600060006000600034111561119f57610002565b6000600f60005060003373ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000505411156112d25783600d6000506000600f60005060003373ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000505481526020019081526020016000206000506001016000509080519060200190828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061126f57805160ff19168380011785556112a0565b828001600101855582156112a0579182015b8281111561129f578251826000505591602001919060010190611281565b5b5090506112cb91906112ad565b808211156112c757600081815060009055506001016112ad565b5090565b50506116cb565b611319600d600050600083815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600061104b565b9250600091506006600e60005054101561134757600e60008181505460010191905081905591508150611460565b600290505b600e600050548111151561145f57826113a2600d600050600084815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600061104b565b131580156114465750600082148061144557506113fc600d600050600084815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600061104b565b611443600d600050600084815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600061104b565b125b5b156114515780915081505b5b808060010191505061134c565b5b60008211156116c5576000600f6000506000600d600050600086815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000508190555033600d600050600084815260200190815260200160002060005060000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff0219169083021790555083600d60005060008481526020019081526020016000206000506001016000509080519060200190828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061158857805160ff19168380011785556115b9565b828001600101855582156115b9579182015b828111156115b857825182600050559160200191906001019061159a565b5b5090506115e491906115c6565b808211156115e057600081815060009055506001016115c6565b5090565b505081600f60005060003373ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050819055503373ffffffffffffffffffffffffffffffffffffffff167f27d9ac670b812af016118a5651113fb34ee7003ad00c04122f71cfadd198f99b8560405180806020018281038252838181518152602001915080519060200190808383829060006004602084601f0104600f02600301f150905090810190601f1680156116b35780820380516001836020036101000a031916815260200191505b509250505060405180910390a26116ca565b610002565b5b5b50505050565b60206040519081016040528060008152602001506020604051908101604052806000815260200150602060405190810160405280600081526020015060206040519081016040528060008152602001506020604051908101604052806000815260200150602060405190810160405280600081526020015060206040519081016040528060008152602001506000600660405180591061176f5750595b90808252806020026020018201604052816020015b6020604051908101604052806000815260200150815260200190600190039081611784579050509150600190505b600e60005054811115156118a157600d60005060008281526020019081526020016000206000506001016000508054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156118735780601f1061184857610100808354040283529160200191611873565b820191906000526020600020905b81548152906001019060200180831161185657829003601f168201915b50505050508260018303815181101561000257906020019060200201819052505b80806001019150506117b2565b816000815181101561000257906020019060200201518260018151811015610002579060200190602002015183600281518110156100025790602001906020020151846003815181101561000257906020019060200201518560048151811015610002579060200190602002015186600581518110156100025790602001906020020151859550849450839350829250819150809050975097509750975097509750611948565b5050909192939495565b6000600060006000600060006020604051908101604052806000815260200150600060066040518059106119835750595b90808252806020026020018201604052509150600190505b600e6000505481111515611a1f576119f0600d600050600083815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600061104b565b8260018303815181101561000257906020019060200201909081815260200150505b808060010191505061199b565b816000815181101561000257906020019060200201518260018151811015610002579060200190602002015183600281518110156100025790602001906020020151846003815181101561000257906020019060200201518560048151811015610002579060200190602002015186600581518110156100025790602001906020020151975097509750975097509750611ab4565b5050909192939495565b6000602060405190810160405280600081526020015060006000600060006000600050546001600050600260005054600360005054600460005054600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16848054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611bb15780601f10611b8657610100808354040283529160200191611bb1565b820191906000526020600020905b815481529060010190602001808311611b9457829003601f168201915b50505050509450955095509550955095509550611bc9565b909192939495565b60206040519081016040528060008152602001506020604051908101604052806000815260200150602060405190810160405280600081526020015060206040519081016040528060008152602001506020604051908101604052806000815260200150602060405190810160405280600081526020015060206040519081016040528060008152602001506020604051908101604052806000815260200150600060006014604051805910611c845750595b908082528060200260200182016040525095506014604051805910611ca65750595b908082528060200260200182016040525094506014604051805910611cc85750595b908082528060200260200182016040525093506014604051805910611cea5750595b90808252806020026020018201604052509250600091506000600860009054906101000a900460ff161415611e5557600090505b600760005054811015611e5457808683815181101561000257906020019060200201909081815260200150506006600050600082815260200190815260200160002060005054858381518110156100025790602001906020020190908181526020015050600960005060008c73ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050600001600050600082815260200190815260200160002060005054848381518110156100025790602001906020020190908181526020015050600960005060008c73ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000506001016000505483838151811015610002579060200190602002019090818152602001505081806001019250505b8080600101915050611d1e565b5b858585859950995099509950611e66565b5050505050509193509193565b60006000600060006000600860009054906101000a900460ff16141561241c57600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600160046000505487604051808381526020018281526020019250505060405180910390208a8a8a604051808581526020018460ff1681526020018381526020018281526020019450505050506020604051808303816000866161da5a03f1156100025750506040518051906020015073ffffffffffffffffffffffffffffffffffffffff16141561241b5760116000505493506000891415611f7457600198508850611f7a565b88935083505b88985088505b83891115156123ee57600060096000506000601060005060008d815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060020160009054906101000a900460ff1614156123e057670de0b6b3a764000060096000506000601060005060008d815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160005054059250600091505b600760005054821015612172576120ca60066000506000848152602001908152602001600020600050548660019004600260005054612428565b9050670de0b6b3a764000060096000506000601060005060008d815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000506000016000506000848152602001908152602001600020600050548202058301925082505b8180600101925050612090565b600160096000506000601060005060008d815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060020160006101000a81548160ff02191690830217905550601060005060008a815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1683601060005060008c8152602001908152602001600020600050600101600050540160405180905060006040518083038185876185025a03f192505050506000601060005060008b815260200190815260200160002060005060010160005081905550600160096000506000601060005060008d815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060020160019054906101000a900460ff16141561234657600b6000818150548092919060010191905055505b601060005060008a815260200190815260200160002060005060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f96f93e65e3618fce8b0ed2b773c726d5b16828d31c3d671d5f24cadf17a0b84060405180905060405180910390a35b5b8880600101995050611f80565b600a60005054600b60005054141561241a576001600860006101000a81548160ff021916908302179055505b5b5b5b505050505050505050565b600060008412151561246f5783831115612461578184840310156124545783830390506124b05661245c565b8190506124b0565b61246a565b600090506124b0565b6124af565b836000038310156124a5578183856000030310156124985782846000030390506124b0566124a0565b8190506124b0565b6124ae565b600090506124b0565b5b5b9392505050565b60008543111580156125a457506000881380156124d45750600082125b801561253057508782600c60005060008d8d8d8d8d604051808681526020018581526020018481526020018381526020018281526020019550505050505060405180910390208152602001908152602001600020600050540313155b806125a357506000881280156125465750600082135b80156125a257508782600c60005060008d8d8d8d8d604051808681526020018581526020018481526020018381526020018281526020019550505050505060405180910390208152602001908152602001600020600050540312155b5b5b80156125cc575060006125be868c856000038d8702612b87565b6125c987600061104b565b01135b80156125f6575060006125e6858c858d8760000302612b87565b846125f287600061104b565b0101135b15612604576001905061260d565b6000905061260d565b9998505050505050505050565b6000612624610cc0565b60028b8b8b8b8b60405180868152602001858152602001848152602001838152602001828152602001955050505050506020604051808303816000866161da5a03f1156100025750506040518051906020015090508573ffffffffffffffffffffffffffffffffffffffff16600182878787604051808581526020018460ff1681526020018381526020018281526020019450505050506020604051808303816000866161da5a03f1156100025750506040518051906020015073ffffffffffffffffffffffffffffffffffffffff161480156127015750864311155b801561277e57506000891380156127185750600082125b801561273f57508882600c6000506000848152602001908152602001600020600050540313155b8061277d57506000891280156127555750600082135b801561277c57508882600c6000506000848152602001908152602001600020600050540312155b5b5b80156127a657506000612798878d856000038e8702612b87565b6127a388600061104b565b01135b80156127ce575060006127c0338d858e8760000302612b87565b6127cb33600061104b565b01135b15612afb576000600960005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060020160019054906101000a900460ff161415612879576001600960005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060020160016101000a81548160ff02191690830217905550600a6000818150548092919060010191905055505b6000600960005060008873ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060020160019054906101000a900460ff16141561291f576001600960005060008873ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060020160016101000a81548160ff02191690830217905550600a6000818150548092919060010191905055505b81600960005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060000160005060008d8152602001908152602001600020600082828250540192505081905550898202600960005060003373ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160008282825054039250508190555081600960005060008873ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060000160005060008d8152602001908152602001600020600082828250540392505081905550898202600960005060008873ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160008282825054019250508190555081600c60005060008381526020019081526020016000206000828282505403925050819055508573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f682f3d3658c7555ec28efb348d56d01cb3e9b1c09f294c10fe8a0c9fc987631e848c8f8f6040518085815260200184815260200183815260200182815260200194505050505060405180910390a3612b79565b8573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f2e0e11b20e248cc594d13c9f0dbc5363c2db62b45099653266d532c73f508aff848c8f8f6040518085815260200184815260200183815260200182815260200194505050505060405180910390a35b5b5050505050505050505050565b60006000600060006000600060009450600093506000600960005060008c73ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060020160009054906101000a900460ff16148015612bef57506000600760005054115b15612e2957600092505b600760005054831015612e2857670de0b6b3a7640000600960005060008c73ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060005060010160005054059150670de0b6b3a7640000870582019150815060009050600060066000506000858152602001908152602001600020600050541215612ca557600660005060008481526020019081526020016000206000505460000390508050612cc4565b6006600050600084815260200190815260200160002060005054905080505b612cd08a8a8a84612e63565b82019150815083821280612ce45750600085145b15612cf55760019450845081935083505b670de0b6b3a7640000600960005060008c73ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050600101600050540591508150670de0b6b3a76400008705820191508150600090508050600060066000506000858152602001908152602001600020600050541215612dd45760026000505460066000506000858152602001908152602001600020600050546000031115612dc85760026000505460066000506000858152602001908152602001600020600050546000030390508050612dcf565b6000905080505b612dfa565b600260005054600660005060008581526020019081526020016000206000505401905080505b612e068a8a8a84612e63565b82019150815083821215612e1a5781935083505b5b8280600101935050612bf9565b5b839550612e31565b5050505050949350505050565b600081831015612e5457829050612e5d56612e5c565b819050612e5d565b5b92915050565b60006000600060009150600090505b600760005054811015612f5557670de0b6b3a7640000612eb1600660005060008481526020019081526020016000206000505486600260005054612428565b600960005060008a73ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600050600001600050600084815260200190815260200160002060005054020582019150815085811415612f4757670de0b6b3a7640000612f3d600660005060008481526020019081526020016000206000505486600260005054612428565b8602058201915081505b5b8080600101915050612e72565b819250612f5d565b505094935050505056

[
    {
        "constant": true,
        "inputs": [],
        "name": "getMarketMakerFunds",
        "outputs": [
            {
                "name": "",
                "type": "int256"
            },
            {
                "name": "",
                "type": "int256"
            },
            {
                "name": "",
                "type": "int256"
            },
            {
                "name": "",
                "type": "int256"
            },
            {
                "name": "",
                "type": "int256"
            },
            {
                "name": "",
                "type": "int256"
            }
        ],
        "type": "function"
    },
    {
        "constant": false,
        "inputs": [
            {
                "name": "amount",
                "type": "uint256"
            }
        ],
        "name": "withdrawFunds",
        "outputs": [],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [
            {
                "name": "user",
                "type": "address"
            },
            {
                "name": "optionID",
                "type": "uint256"
            },
            {
                "name": "positionChange",
                "type": "int256"
            },
            {
                "name": "cashChange",
                "type": "int256"
            }
        ],
        "name": "getMaxLossAfterTrade",
        "outputs": [
            {
                "name": "",
                "type": "int256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "getMarketMakers",
        "outputs": [
            {
                "name": "",
                "type": "string"
            },
            {
                "name": "",
                "type": "string"
            },
            {
                "name": "",
                "type": "string"
            },
            {
                "name": "",
                "type": "string"
            },
            {
                "name": "",
                "type": "string"
            },
            {
                "name": "",
                "type": "string"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "expiration",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "numOptions",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "expired",
        "outputs": [
            {
                "name": "",
                "type": "bool"
            }
        ],
        "type": "function"
    },
    {
        "constant": false,
        "inputs": [
            {
                "name": "server",
                "type": "string"
            }
        ],
        "name": "marketMaker",
        "outputs": [],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [
            {
                "name": "user",
                "type": "address"
            },
            {
                "name": "onlyAvailable",
                "type": "bool"
            }
        ],
        "name": "getFunds",
        "outputs": [
            {
                "name": "",
                "type": "int256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "numPositions",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "underlying",
        "outputs": [
            {
                "name": "",
                "type": "string"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "getOptionChain",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            },
            {
                "name": "",
                "type": "string"
            },
            {
                "name": "",
                "type": "uint256"
            },
            {
                "name": "",
                "type": "uint256"
            },
            {
                "name": "",
                "type": "bytes32"
            },
            {
                "name": "",
                "type": "address"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [
            {
                "name": "a",
                "type": "uint256"
            },
            {
                "name": "b",
                "type": "uint256"
            }
        ],
        "name": "min",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [
            {
                "name": "user",
                "type": "address"
            }
        ],
        "name": "getAccountID",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "numAccounts",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "margin",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "factHash",
        "outputs": [
            {
                "name": "",
                "type": "bytes32"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "realityID",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "numPositionsExpired",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": false,
        "inputs": [],
        "name": "addFunds",
        "outputs": [],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "ethAddr",
        "outputs": [
            {
                "name": "",
                "type": "address"
            }
        ],
        "type": "function"
    },
    {
        "constant": false,
        "inputs": [
            {
                "name": "optionID",
                "type": "uint256"
            },
            {
                "name": "price",
                "type": "uint256"
            },
            {
                "name": "size",
                "type": "int256"
            },
            {
                "name": "orderID",
                "type": "uint256"
            },
            {
                "name": "blockExpires",
                "type": "uint256"
            },
            {
                "name": "addr",
                "type": "address"
            },
            {
                "name": "v",
                "type": "uint8"
            },
            {
                "name": "r",
                "type": "bytes32"
            },
            {
                "name": "s",
                "type": "bytes32"
            },
            {
                "name": "matchSize",
                "type": "int256"
            }
        ],
        "name": "orderMatch",
        "outputs": [],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [
            {
                "name": "optionID",
                "type": "uint256"
            },
            {
                "name": "price",
                "type": "uint256"
            },
            {
                "name": "size",
                "type": "int256"
            },
            {
                "name": "orderID",
                "type": "uint256"
            },
            {
                "name": "blockExpires",
                "type": "uint256"
            },
            {
                "name": "addr",
                "type": "address"
            },
            {
                "name": "sender",
                "type": "address"
            },
            {
                "name": "value",
                "type": "uint256"
            },
            {
                "name": "matchSize",
                "type": "int256"
            }
        ],
        "name": "orderMatchTest",
        "outputs": [
            {
                "name": "",
                "type": "bool"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [
            {
                "name": "accountID",
                "type": "uint256"
            }
        ],
        "name": "getAccount",
        "outputs": [
            {
                "name": "",
                "type": "address"
            }
        ],
        "type": "function"
    },
    {
        "constant": false,
        "inputs": [
            {
                "name": "accountID",
                "type": "uint256"
            },
            {
                "name": "v",
                "type": "uint8"
            },
            {
                "name": "r",
                "type": "bytes32"
            },
            {
                "name": "s",
                "type": "bytes32"
            },
            {
                "name": "value",
                "type": "bytes32"
            }
        ],
        "name": "expire",
        "outputs": [],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [
            {
                "name": "user",
                "type": "address"
            }
        ],
        "name": "getMarket",
        "outputs": [
            {
                "name": "",
                "type": "uint256[]"
            },
            {
                "name": "",
                "type": "int256[]"
            },
            {
                "name": "",
                "type": "int256[]"
            },
            {
                "name": "",
                "type": "int256[]"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [
            {
                "name": "user",
                "type": "address"
            }
        ],
        "name": "getFundsAndAvailable",
        "outputs": [
            {
                "name": "",
                "type": "int256"
            },
            {
                "name": "",
                "type": "int256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [],
        "name": "numMarketMakers",
        "outputs": [
            {
                "name": "",
                "type": "uint256"
            }
        ],
        "type": "function"
    },
    {
        "constant": true,
        "inputs": [
            {
                "name": "strike",
                "type": "int256"
            },
            {
                "name": "settlement",
                "type": "uint256"
            },
            {
                "name": "margin",
                "type": "uint256"
            }
        ],
        "name": "getMoneyness",
        "outputs": [
            {
                "name": "",
                "type": "int256"
            }
        ],
        "type": "function"
    },
    {
        "inputs": [
            {
                "name": "expiration_",
                "type": "uint256"
            },
            {
                "name": "underlying_",
                "type": "string"
            },
            {
                "name": "margin_",
                "type": "uint256"
            },
            {
                "name": "realityID_",
                "type": "uint256"
            },
            {
                "name": "factHash_",
                "type": "bytes32"
            },
            {
                "name": "ethAddr_",
                "type": "address"
            },
            {
                "name": "strikes_",
                "type": "int256[]"
            }
        ],
        "type": "constructor"
    },
    {
        "anonymous": false,
        "inputs": [
            {
                "indexed": true,
                "name": "user",
                "type": "address"
            },
            {
                "indexed": false,
                "name": "amount",
                "type": "uint256"
            },
            {
                "indexed": false,
                "name": "balance",
                "type": "int256"
            }
        ],
        "name": "Deposit",
        "type": "event"
    },
    {
        "anonymous": false,
        "inputs": [
            {
                "indexed": true,
                "name": "user",
                "type": "address"
            },
            {
                "indexed": false,
                "name": "amount",
                "type": "uint256"
            },
            {
                "indexed": false,
                "name": "balance",
                "type": "int256"
            }
        ],
        "name": "Withdraw",
        "type": "event"
    },
    {
        "anonymous": false,
        "inputs": [
            {
                "indexed": true,
                "name": "user",
                "type": "address"
            },
            {
                "indexed": false,
                "name": "server",
                "type": "string"
            }
        ],
        "name": "NewMarketMaker",
        "type": "event"
    },
    {
        "anonymous": false,
        "inputs": [
            {
                "indexed": true,
                "name": "caller",
                "type": "address"
            },
            {
                "indexed": true,
                "name": "user",
                "type": "address"
            }
        ],
        "name": "Expire",
        "type": "event"
    },
    {
        "anonymous": false,
        "inputs": [
            {
                "indexed": true,
                "name": "matchUser",
                "type": "address"
            },
            {
                "indexed": false,
                "name": "matchSize",
                "type": "int256"
            },
            {
                "indexed": true,
                "name": "orderUser",
                "type": "address"
            },
            {
                "indexed": false,
                "name": "orderSize",
                "type": "int256"
            },
            {
                "indexed": false,
                "name": "optionID",
                "type": "uint256"
            },
            {
                "indexed": false,
                "name": "price",
                "type": "uint256"
            }
        ],
        "name": "OrderMatchFailure",
        "type": "event"
    },
    {
        "anonymous": false,
        "inputs": [
            {
                "indexed": true,
                "name": "matchUser",
                "type": "address"
            },
            {
                "indexed": false,
                "name": "matchSize",
                "type": "int256"
            },
            {
                "indexed": true,
                "name": "orderUser",
                "type": "address"
            },
            {
                "indexed": false,
                "name": "orderSize",
                "type": "int256"
            },
            {
                "indexed": false,
                "name": "optionID",
                "type": "uint256"
            },
            {
                "indexed": false,
                "name": "price",
                "type": "uint256"
            }
        ],
        "name": "OrderMatch",
        "type": "event"
    }
]