1:- module(plain_zdd, []).    2:- set_prolog_flag(stack_limit, 10_200_147_483_648).    3:- use_module(zdd(zdd)).    4
    5zdd_demo(E, C):- call_with_time_limit(10,
    6				  zdd((X<< E, card(X, C))))