int main() { return 0; } /* Copyright 2006 Vladimir Prus Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt) */
Generated by dwww version 1.15 on Sun Jun 23 21:18:51 CEST 2024.