#include "osl/search/searchState.h"
#include "osl/search/simpleHashRecord.h"
#include "osl/search/sacrificeCheck.h"
#include "osl/record/csa.h"
#include "osl/misc/realTime.h"
#include <iostream>
ソースコードを見る。