test-16.ttl

Jena推理机

# 10000 items (10000 triples) more than the default Bison stack size
@prefix : <http://example.org/ns#> .
:a :b :c1;
   :b :c2;
   :b :c3;
   :b :c4;
   :b :c5;
   :b :c6;
   :b :c7;
   :b :c8;
   :b :c9;
   :b :c10;
   :b :c11;
   :b :c12;
   :b :c13;
   :b :c14;
   :b :c15;
   :b :c16;
   :b :c17;
   :b :c18;
   :b :c19;
   :b :c20;
   :b :c21;
   :b :c22;
   :b :c23;
   :b :c24;
   :b :c25;
   :b :c26;
   :b :c27;
   :b :c28;
   :b :c29;
   :b :c30;
   :b :c31;
   :b :c32;
   :b :c33;
   :b :c34;
   :b :c35;
   :b :c36;
   :b :c37;
   :b :c38;
   :b :c39;
   :b :c40;
   :b :c41;
   :b :c42;
   :b :c43;
   :b :c44;
   :b :c45;
   :b :c46;
   :b :c47;
   :b :c48;
   :b :c49;
   :b :c50;
   :b :c51;
   :b :c52;
   :b :c53;
   :b :c54;
   :b :c55;
   :b :c56;
   :b :c57;
   :b :c58;
   :b :c59;
   :b :c60;
   :b :c61;
   :b :c62;
   :b :c63;
   :b :c64;
   :b :c65;
   :b :c66;
   :b :c67;
   :b :c68;
   :b :c69;
   :b :c70;
   :b :c71;
   :b :c72;
   :b :c73;
   :b :c74;
   :b :c75;
   :b :c76;
   :b :c77;
   :b :c78;
   :b :c79;
   :b :c80;
   :b :c81;
   :b :c82;
   :b :c83;
   :b :c84;
   :b :c85;
   :b :c86;
   :b :c87;
   :b :c88;
   :b :c89;
   :b :c90;
   :b :c91;
   :b :c92;
   :b :c93;
   :b :c94;
   :b :c95;
   :b :c96;
   :b :c97;
   :b :c98;
   :b :c99;
   :b :c100;
   :b :c101;
   :b :c102;
   :b :c103;
   :b :c104;
   :b :c105;
   :b :c106;
   :b :c107;
   :b :c108;
   :b :c109;
   :b :c110;
   :b :c111;
   :b :c112;
   :b :c113;
   :b :c114;
   :b :c115;
   :b :c116;
   :b :c117;
   :b :c118;
   :b :c119;
   :b :c120;
   :b :c121;
   :b :c122;
   :b :c123;
   :b :c124;
   :b :c125;
   :b :c126;
   :b :c127;
   :b :c128;
   :b :c129;
   :b :c130;
   :b :c131;
   :b :c132;
   :b :c133;
   :b :c134;
   :b :c135;
   :b :c136;
   :b :c137;
   :b :c138;
   :b :c139;
   :b :c140;
   :b :c141;
   :b :c142;
   :b :c143;
   :b :c144;
   :b :c145;
   :b :c146;
   :b :c147;
   :b :c148;
   :b :c149;
   :b :c150;
   :b :c151;
   :b :c152;
   :b :c153;
   :b :c154;
   :b :c155;
   :b :c156;
   :b :c157;
   :b :c158;
   :b :c159;
   :b :c160;
   :b :c161;
   :b :c162;
   :b :c163;
   :b :c164;
   :b :c165;
   :b :c166;
   :b :c167;
   :b :c168;
   :b :c169;
   :b :c170;
   :b :c171;
   :b :c172;
   :b :c173;
   :b :c174;
   :b :c175;
   :b :c176;
   :b :c177;
   :b :c178;
   :b :c179;
   :b :c180;
   :b :c181;
   :b :c182;
   :b :c183;
   :b :c184;
   :b :c185;
   :b :c186;
   :b :c187;
   :b :c188;
   :b :c189;
   :b :c190;
   :b :c191;
   :b :c192;
   :b :c193;
   :b :c194;
   :b :c195;
   :b :c196;
   :b :c197;
   :b :c198;
   :b :c199;
   :b :c200;
   :b :c201;
   :b :c202;
   :b :c203;
   :b :c204;
   :b :c205;
   :b :c206;
   :b :c207;
   :b :c208;
   :b :c209;
   :b :c210;
   :b :c211;
   :b :c212;
   :b :c213;
   :b :c214;
   :b :c215;
   :b :c216;
   :b :c217;
   :b :c218;
   :b :c219;
   :b :c220;
   :b :c221;
   :b :c222;
   :b :c223;
   :b :c224;
   :b :c225;
   :b :c226;
   :b :c227;
   :b :c228;
   :b :c229;
   :b :c230;
   :b :c231;
   :b :c232;
   :b :c233;
   :b :c234;
   :b :c235;
   :b :c236;
   :b :c237;
   :b :c238;
   :b :c239;
   :b :c240;
   :b :c241;
   :b :c242;
   :b :c243;
   :b :c244;
   :b :c245;
   :b :c246;
   :b :c247;
   :b :c248;
   :b :c249;
   :b :c250;
   :b :c251;
   :b :c252;
   :b :c253;
   :b :c254;
   :b :c255;
   :b :c256;
   :b :c257;
   :b :c258;
   :b :c259;
   :b :c260;
   :b :c261;
   :b :c262;
   :b :c263;
   :b :c264;
   :b :c265;
   :b :c266;
   :b :c267;
   :b :c268;
   :b :c269;
   :b :c270;
   :b :c271;
   :b :c272;
   :b :c273;
   :b :c274;
   :b :c275;
   :b :c276;
   :b :c277;
   :b :c278;
   :b :c279;
   :b :c280;
   :b :c281;
   :b :c282;
   :b :c283;
   :b :c284;
   :b :c285;
   :b :c286;
   :b :c287;
   :b :c288;
   :b :c289;
   :b :c290;
   :b :c291;
   :b :c292;
   :b :c293;
   :b :c294;
   :b :c295;
   :b :c296;
   :b :c297;
   :b :c298;
   :b :c299;
   :b :c300;
   :b :c301;
   :b :c302;
   :b :c303;
   :b :c304;
   :b :c305;
   :b :c306;
   :b :c307;
   :b :c308;
   :b :c309;
   :b :c310;
   :b :c311;
   :b :c312;
   :b :c313;
   :b :c314;
   :b :c315;
   :b :c316;
   :b :c317;
   :b :c318;
   :b :c319;
   :b :c320;
   :b :c321;
   :b :c322;
   :b :c323;
   :b :c324;
   :b :c325;
   :b :c326;
   :b :c327;
   :b :c328;
   :b :c329;
   :b :c330;
   :b :c331;
   :b :c332;
   :b :c333;
   :b :c334;
   :b :c335;
   :b :c336;
   :b :c337;
   :b :c338;
   :b :c339;
   :b :c340;
   :b :c341;
   :b :c342;
   :b :c343;
   :b :c344;
   :b :c345;
   :b :c346;
   :b :c347;
   :b :c348;
   :b :c349;
   :b :c350;
   :b :c351;
   :b :c352;
   :b :c353;
   :b :c354;
   :b :c355;
   :b :c356;
   :b :c357;
   :b :c358;
   :b :c359;
   :b :c360;
   :b :c361;
   :b :c362;
   :b :c363;
   :b :c364;
   :b :c365;
   :b :c366;
   :b :c367;
   :b :c368;
   :b :c369;
   :b :c370;
   :b :c371;
   :b :c372;
   :b :c373;
   :b :c374;
   :b :c375;
   :b :c376;
   :b :c377;
   :b :c378;
   :b :c379;
   :b :c380;
   :b :c381;
   :b :c382;
   :b :c383;
   :b :c384;
   :b :c385;
   :b :c386;
   :b :c387;
   :b :c388;
   :b :c389;
   :b :c390;
   :b :c391;
   :b :c392;
   :b :c393;
   :b :c394;
   :b :c395;
   :b :c396;
   :b :c397;
   :b :c398;
   :b :c399;
   :b :c400;
   :b :c401;
   :b :c402;
   :b :c403;
   :b :c404;
   :b :c405;
   :b :c406;
   :b :c407;
   :b :c408;
   :b :c409;
   :b :c410;
   :b :c411;
   :b :c412;
   :b :c413;
   :b :c414;
   :b :c415;
   :b :c416;
   :b :c417;
   :b :c418;
   :b :c419;
   :b :c420;
   :b :c421;
   :b :c422;
   :b :c423;
   :b :c424;
   :b :c425;
   :b :c426;
   :b :c427;
   :b :c428;
   :b :c429;
   :b :c430;
   :b :c431;
   :b :c432;
   :b :c433;
   :b :c434;
   :b :c435;
   :b :c436;
   :b :c437;
   :b :c438;
   :b :c439;
   :b :c440;
   :b :c441;
   :b :c442;
   :b :c443;
   :b :c444;
   :b :c445;
   :b :c446;
   :b :c447;
   :b :c448;
   :b :c449;
   :b :c450;
   :b :c451;
   :b :c452;
   :b :c453;
   :b :c454;
   :b :c455;
   :b :c456;
   :b :c457;
   :b :c458;
   :b :c459;
   :b :c460;
   :b :c461;
   :b :c462;
   :b :c463;
   :b :c464;
   :b :c465;
   :b :c466;
   :b :c467;
   :b :c468;
   :b :c469;
   :b :c470;
   :b :c471;
   :b :c472;
   :b :c473;
   :b :c474;
   :b :c475;
   :b :c476;
   :b :c477;
   :b :c478;
   :b :c479;
   :b :c480;
   :b :c481;
   :b :c482;
   :b :c483;
   :b :c484;
   :b :c485;
   :b :c486;
   :b :c487;
   :b :c488;
   :b :c489;
   :b :c490;
   :b :c491;
   :b :c492;
   :b :c493;
   :b :c494;
   :b :c495;
   :b :c496;
   :b :c497;
   :b :c498;
   :b :c499;
   :b :c500;
   :b :c501;
   :b :c502;
   :b :c503;
   :b :c504;
   :b :c505;
   :b :c506;
   :b :c507;
   :b :c508;
   :b :c509;
   :b :c510;
   :b :c511;
   :b :c512;
   :b :c513;
   :b :c514;
   :b :c515;
   :b :c516;
   :b :c517;
   :b :c518;
   :b :c519;
   :b :c520;
   :b :c521;
   :b :c522;
   :b :c523;
   :b :c524;
   :b :c525;
   :b :c526;
   :b :c527;
   :b :c528;
   :b :c529;
   :b :c530;
   :b :c531;
   :b :c532;
   :b :c533;
   :b :c534;
   :b :c535;
   :b :c536;
   :b :c537;
   :b :c538;
   :b :c539;
   :b :c540;
   :b :c541;
   :b :c542;
   :b :c543;
   :b :c544;
   :b :c545;
   :b :c546;
   :b :c547;
   :b :c548;
   :b :c549;
   :b :c550;
   :b :c551;
   :b :c552;
   :b :c553;
   :b :c554;
   :b :c555;
   :b :c556;
   :b :c557;
   :b :c558;
   :b :c559;
   :b :c560;
   :b :c561;
   :b :c562;
   :b :c563;
   :b :c564;
   :b :c565;
   :b :c566;
   :b :c567;
   :b :c568;
   :b :c569;
   :b :c570;
   :b :c571;
   :b :c572;
   :b :c573;
   :b :c574;
   :b :c575;
   :b :c576;
   :b :c577;
   :b :c578;
   :b :c579;
   :b :c580;
   :b :c581;
   :b :c582;
   :b :c583;
   :b :c584;
   :b :c585;
   :b :c586;
   :b :c587;
   :b :c588;
   :b :c589;
   :b :c590;
   :b :c591;
   :b :c592;
   :b :c593;
   :b :c594;
   :b :c595;
   :b :c596;
   :b :c597;
   :b :c598;
   :b :c599;
   :b :c600;
   :b :c601;
   :b :c602;
   :b :c603;
   :b :c604;
   :b :c605;
   :b :c606;
   :b :c607;
   :b :c608;
   :b :c609;
   :b :c610;
   :b :c611;
   :b :c612;
   :b :c613;
   :b :c614;
   :b :c615;
   :b :c616;
   :b :c617;
   :b :c618;
   :b :c619;
   :b :c620;
   :b :c621;
   :b :c622;
   :b :c623;
   :b :c624;
   :b :c625;
   :b :c626;
   :b :c627;
   :b :c628;
   :b :c629;
   :b :c630;
   :b :c631;
   :b :c632;
   :b :c633;
   :b :c634;
   :b :c635;
   :b :c636;
   :b :c637;
   :b :c638;
   :b :c639;
   :b :c640;
   :b :c641;
   :b :c642;
   :b :c643;
   :b :c644;
   :b :c645;
   :b :c646;
   :b :c647;
   :b :c648;
   :b :c649;
   :b :c650;
   :b :c651;
   :b :c652;
   :b :c653;
   :b :c654;
   :b :c655;
   :b :c656;
   :b :c657;
   :b :c658;
   :b :c659;
   :b :c660;
   :b :c661;
   :b :c662;
   :b :c663;
   :b :c664;
   :b :c665;
   :b :c666;
   :b :c667;
   :b :c668;
   :b :c669;
   :b :c670;
   :b :c671;
   :b :c672;
   :b :c673;
   :b :c674;
   :b :c675;
   :b :c676;
   :b :c677;
   :b :c678;
   :b :c679;
   :b :c680;
   :b :c681;
   :b :c682;
   :b :c683;
   :b :c684;
   :b :c685;
   :b :c686;
   :b :c687;
   :b :c688;
   :b :c689;
   :b :c690;
   :b :c691;
   :b :c692;
   :b :c693;
   :b :c694;
   :b :c695;
   :b :c696;
   :b :c697;
   :b :c698;
   :b :c699;
   :b :c700;
   :b :c701;
   :b :c702;
   :b :c703;
   :b :c704;
   :b :c705;
   :b :c706;
   :b :c707;
   :b :c708;
   :b :c709;
   :b :c710;
   :b :c711;
   :b :c712;
   :b :c713;
   :b :c714;
   :b :c715;
   :b :c716;
   :b :c717;
   :b :c718;
   :b :c719;
   :b :c720;
   :b :c721;
   :b :c722;
   :b :c723;
   :b :c724;
   :b :c725;
   :b :c726;
   :b :c727;
   :b :c728;
   :b :c729;
   :b :c730;
   :b :c731;
   :b :c732;
   :b :c733;
   :b :c734;
   :b :c735;
   :b :c736;
   :b :c737;
   :b :c738;
   :b :c739;
   :b :c740;
   :b :c741;
   :b :c742;
   :b :c743;
   :b :c744;
   :b :c745;
   :b :c746;
   :b :c747;
   :b :c748;
   :b :c749;
   :b :c750;
   :b :c751;
   :b :c752;
   :b :c753;
   :b :c754;
   :b :c755;
   :b :c756;
   :b :c757;
   :b :c758;
   :b :c759;
   :b :c760;
   :b :c761;
   :b :c762;
   :b :c763;
   :b :c764;
   :b :c765;
   :b :c766;
   :b :c767;
   :b :c768;
   :b :c769;
   :b :c770;
   :b :c771;
   :b :c772;
   :b :c773;
   :b :c774;
   :b :c775;
   :b :c776;
   :b :c777;
   :b :c778;
   :b :c779;
   :b :c780;
   :b :c781;
   :b :c782;
   :b :c783;
   :b :c784;
   :b :c785;
   :b :c786;
   :b :c787;
   :b :c788;
   :b :c789;
   :b :c790;
   :b :c791;
   :b :c792;
   :b :c793;
   :b :c794;
   :b :c795;
   :b :c796;
   :b :c797;
   :b :c798;
   :b :c799;
   :b :c800;
   :b :c801;
   :b :c802;
   :b :c803;
   :b :c804;
   :b :c805;
   :b :c806;
   :b :c807;
   :b :c808;
   :b :c809;
   :b :c810;
   :b :c811;
   :b :c812;
   :b :c813;
   :b :c814;
   :b :c815;
   :b :c816;
   :b :c817;
   :b :c818;
   :b :c819;
   :b :c820;
   :b :c821;
   :b :c822;
   :b :c823;
   :b :c824;
   :b :c825;
   :b :c826;
   :b :c827;
   :b :c828;
   :b :c829;
   :b :c830;
   :b :c831;
   :b :c832;
   :b :c833;
   :b :c834;
   :b :c835;
   :b :c836;
   :b :c837;
   :b :c838;
   :b :c839;
   :b :c840;
   :b :c841;
   :b :c842;
   :b :c843;
   :b :c844;
   :b :c845;
   :b :c846;
   :b :c847;
   :b :c848;
   :b :c849;
   :b :c850;
   :b :c851;
   :b :c852;
   :b :c853;
   :b :c854;
   :b :c855;
   :b :c856;
   :b :c857;
   :b :c858;
   :b :c859;
   :b :c860;
   :b :c861;
   :b :c862;
   :b :c863;
   :b :c864;
   :b :c865;
   :b :c866;
   :b :c867;
   :b :c868;
   :b :c869;
   :b :c870;
   :b :c871;
   :b :c872;
   :b :c873;
   :b :c874;
   :b :c875;
   :b :c876;
   :b :c877;
   :b :c878;
   :b :c879;
   :b :c880;
   :b :c881;
   :b :c882;
   :b :c883;
   :b :c884;
   :b :c885;
   :b :c886;