/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : randomTest_25_25_0.clq
* Type       : Queries
* Domain     : Randomly Generated
* Date       : 2024-03-06
* Version    : v1.0
*
* Signature  : ktaacn,zrbcuk,smqydu,vfmdko,ahmjon,kmisjo,jwdbup,jpqxmd,taxkur,mxmufr,gkjhij,sgomms,pblzky,jbypod,iovlal,bqxbte,ubstfa,vmqfah,gwyamc,pjuufc,tzeoks,xlzcmz,inxmes,xntmij,kgridt
* KB         : RandomlyGenerated / RandomSizeTo25 / randomTest_25_25_0.cl
* 
* Details    : Signature size        : 25
*              #Queries              : 1
* 
* Refs       : [BSB24] von Berg, Sanin, Beierle (2024), Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems, FoIKS 2024.
*
* Comments   : 
*
****************************************************************/
(((((((!jpqxmd);((!ubstfa);zrbcuk));mxmufr);((jbypod,(smqydu;vmqfah));iovlal));(sgomms,(!pblzky)));(((!jwdbup),(((!(!kmisjo)),(bqxbte;(!ahmjon))),((!gkjhij);vfmdko))),ktaacn))|taxkur)