<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;padding-left:1.5rem;max-width:60rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{line-height:2.25rem;font-size:1.5rem;font-weight:500}@media (width <= 720px){.h2{line-height:1.5rem;font-size:1.25rem}}#challenge-error-text{background-image:url("data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+");background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme: dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="360"></head><body><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt = {cvId: '3',cZone: 'sourceforge.net',cType: 'managed',cRay: '96522066028e53ef',cH: 'DgWCpcfp_rikdNfPuyDijikI3ieUttuFLdJ_eYwX3WQ-1753514343-1.2.1.1-mQtKaPCdvDPIVDYxbvuk4TNl890DHYeEswNHL387Wkqd47RrkAsudi_VW1Y0NUG1',cUPMDTk:"\/p\/xsb\/src\/8487\/tree\/\/trunk\/XSB\/docs\/userman\/inspection.tex?__cf_chl_tk=c.woBHIXgQdR8oZ9Mfcs6DwkVqU8nPZHgf9Wk0eZYQc-1753514343-1.0.1.1-AqHctterhKWagmCYfr9ztvRbtcSl6DuoeLtSb2HEbfA",cFPWv: 'b',cITimeS: '1753514343',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/8487\/tree\/\/trunk\/XSB\/docs\/userman\/inspection.tex?__cf_chl_f_tk=c.woBHIXgQdR8oZ9Mfcs6DwkVqU8nPZHgf9Wk0eZYQc-1753514343-1.0.1.1-AqHctterhKWagmCYfr9ztvRbtcSl6DuoeLtSb2HEbfA",md: 'dB6EU2SsFuAFudMo3twpsx.YwKDiPAngXhcoumedLa8-1753514343-1.2.1.1-tFhM63SpkXR5oWxUbKvYh2fMmNztg9KBVKHudBKLXCTGECjtgqntUrS7ldU6uIblq_uk23WrqOuu_TpYGkjvzf7LB6Rcv67bKtkg9NDx3tD7pvEijOJhqgLFTrrQcRkCd7i0kREBA2XzBUAvI8PCZTDH9zQ4RpXxPHxFZCja1LvdDbC385cOClc_35Ecx9QGgZvzgqGumoP0hKjAqTbY1i4sSJaCPmV2MfRAi5eErhaCzGfY_zv8ztLsrTfJv0B9w.O130i_L35NEvY4s8y611qMpgR9h_oQzesdh5Tmn7FJFM5uO4p7ZnPrdn6yF5BQUfiKxmQXE.Ys3t_9SDyJVu_zeyO6ae5VrLmSd_ZcGEEGydV1ApyzJ7zxm2imhUX6os_pEyWtYYeHia93xFD_3xk96mRBaVOzO_HdrjIoarA6MoYPsfBvX1tgXKkr9xo4wWaR.4Rcyxq3DPrixX4g_iefdg9aC4xj.nB0ixZFhNXbs4XcWaroX12LqPxTrys_DbnLTjdopk9krbOqlr1jZdtM5_2f_ltgG0DiCRMzd_y_8Z4FCfPyHZ2obfACbeUGntHxybXslt8cmQUOnnBXu8_A5eFZfGBfw.WZ4Sj.spNrEc2427a81WWT7SqTcu1p8Ec0Pfc0E7oWJd.EK9MLnqUaTFCGwaWdRLCBaqTPHOXAOrDBGJ.WYAKLZ3k2T5_eNlxRvI4QURD2U8y0lO.lvW5bqBMhGQXp043Z6Flzl9nCzlji7o1Ef_rxtKRHxqzghRirwOOef9dgYrmnZtaE1DYDyufVku2cN18rrJ8L8wUggvsOvsU4T9FFQhCe.BdmwZPMmDfd8PmRCMXl5c6UuQHy3i8Qb6hN5Xdh65b.y2N1rBl1ru8WUOFhuWt8U64FhlhVvZRkkn0hKWizZni36RgqHARwCdfi8ryk9AFdsUBjUZDiuGO9WItlK0fk4WR9739ncqRS4ucA9P.GL6t5d3T8TxhcfRAQREg8qAi.ySutvWjnMuBYPOMK4WumZn8h',mdrd: 'vqAZCzxYEAso0W50NYe6PpriMigWVSY4Uw.gr3GrfT4-1753514343-1.2.1.1-r78vGkKW9COuJRpVc8GgPlS35PrYwNPwCoQ82kDXo_mR.0474AT7Vu058t1U5dos.UxXGPQ6o2h0uv3E3ecusNzfHknaujZAOWxlZR.IeqOFjp2BxVcBQwl0HhpXbHVd1S4A63qqf.8nob.kJYKyeFXa3aHJemED2wTvKl.uWCdOUd10r6oyc_IgHxE_Rl1lETmNNlvTF2JP9wcquOou7x6ceZ69iPUjhiIVuxT.ZlExNV7SLQ6IAz6XspXHwXHUuRjXJ2c2p8nyp_uX3n0sv_sS3EyoAWeRiDDq8A1h0ntpvPCNKW0.Ym2ffAU7Sxdc1G_pqSnIptpanLYGfi8dbZBnP1MCDDqgzKEiUkIdMXSD_u0M8aSsljZSSDRF.aG.BJZSDD8kVXtylP1erR3qs291ged3TLsFRxmGrOoL_j94wAKIMc75TARh8Xe797TaZQosKX.2dwf9uO2z9NfVn0s1gh5BhauwXyArbk81Rpb0xRFwin0qPtfeOmSh8yjX6zPIeDO9glgnKQapb4GI5jplW1WKiQhvUgtIPmw2XJMYSz.fA1wyyAj..GtNLa640O2MX47t.Y7jFxnthh4lMtZrY1r1P8hNovDZ._i4nlCe.hejx.EcOnIO.Dlm7y3Taq0bB7Bjm34feV0wDM7EkfSA0RFTd4U64myQMrUjSBz80eezP1kpWbgo449McoHw8cLCl_poq20TPZfmA0zhcECOl6WnRI6EXRP4_N918j1TazetbwAH0VQg9Ogafls6kij4l18MAAvTK10Ng.iXNNyqBUK7ZxJ01F.fjMUQULFXB3GslYNKO2rC98G1_HO8OlfJhGPJv9enXP37ZpW3O2bG40xdp0XsIo969fiFql5QC8LTj1VG58M3A2LZI5lrEPfXGveWzYiHj7eQL8Sy4OtIcTKtExp18jnuU2ZpuovcurRK8wA2eYfOYhA56TFG84soytFWxk02i7zrvFg7c3D3p1J6MrPMmWvXbokvd7Qr47u65d7.J9wU10uTTniHc__GKuiKQlbtPnpTRc9yFRS9wriPBQ6jzsNm14Xn6fYJ1RcRlGfWw7PGmo3BdZ56860g7fzXr3QUxU.xganWa6MabJNFHU82yCCzYqcRI_lgv7f5AqNr1NpEynNuRKHLKrdWw1bF7gnY04T4ZZqBMRdtS.4.6AHzayBo90crYgX9RE4zepo1VIN2EHXq3xYgdLnpXDRDQ7yIGfIr6m0_W9.tb.6w3KAPNqnVHHYQP.yj1jdn1XfmJ2OfUptydkBmukUjumj4tdg6f3r2q85mYDSmCENbnjWf.QvYWBkb_EQOEAh9rLMyWb4zwDteK0XmzQ2w0UkS3tPCUABZXC6KaZg8fVUmEK3oRLAtNsD2yuSQXo2YbgyFmKXuX1Gj56h91vCSZNkpIAZ2sNxfleC4CEbF33_FoGoS9kY139mAjT1ng4GkSwNBoEbs5attomPADaSDRL.0p02uebE0Um5km1vPb2bLLEV_CWEvpu26rj2wDDPo32kziDJXFadkGB3i9Crlyz3Ix9IWxnZ0bALjZcywUg3n47k4_GTH9IbvtUNS5iZr7DJA5wUIH8bJzQuDzVm.JVJSwCbjnQxhtGBa.qkzNoE1Zl9nZP3uI8VVNg.5u4FS2c7.1fy9Kq_QMD6.mHGUM4Wrc6pj3lortsBkWTxAAV5gUxDhN4Te.rGWS9Zy9OAipgta42AYIbsdFPc8PSE2zKjwK1dIfbYeFDufUqYjDTIA66lYyZHUMpN_etn._hJIu61XItqQkpWNy7n7_uZ8qcqd68V5aNV6uJXOw43yDD5LjAMUjTvxXF3xs0o0gP7m7yPMcjhmYnT7O7xT4PSToxrLaV8kpxjQxotw9yl5fX.1IIURik4EavztYtutGGvT1J7YZM.A._v_UX6.t_CaQZHhjRe7FLdZnAD5Hvi54g6svx3AQJpqcFomB55HKUs.XYiRr1LH.nYyDi.3BOA2DMglk02xxPlZ0HEe7hgLs9E5TnioLp_hUfFB4ERk_1G2wZIT05KrqC_VV4acAZBhcz3l323yBQLJew1.mcCURYMy4z6QekK7e7u8Uqhtfp24_Bx7uoNQACxhYhsrBU10v2TiXyd9kAkWrNufAPG1u24R2NRMUio1MJ0jBTbhoM2oTiq_iiEKyMbYiT4U31qKbhgQVKnSKLUYUGnEVM650e0NKo8gjWsVZZMcx87eakl2HSkwkf1tkli_iRE2nSasQmiFwJKaXVzBsEXkKHoYgIyM2RWWay.23eAzIvCeBF0Ve1lk6gic1elT__MUEY3GWbO8iyKy_InihjAFHEjXYHUsvemuWV7C92ukC5s8XU4D_RJ9.If92jqlXaGxgz72WLZ_RKUDWBnZ40cflFtk9BR5VBigyunULI7LwzqWc4VyLGpCS__PkaZAhROSpIiQCpTwuy2_a20aj4fKszzqnCzzP_td.QWuUghcr1X6bR0b6dW3CzI8ksxLlXnl5jZaUQ1z1M.aZVUpiJ6IfgJZjzVRsbdYgGfj7rOvOly8EIu_FTdZD9XjCTM4.1BCM2koydsIkuMaAFqxKRfzQWXkPOJOqeTA5X9vFi9j5kr47rQbKGstLVX1ZMXIzw.Q',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=96522066028e53ef';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null,"\/p\/xsb\/src\/8487\/tree\/\/trunk\/XSB\/docs\/userman\/inspection.tex?__cf_chl_rt_tk=c.woBHIXgQdR8oZ9Mfcs6DwkVqU8nPZHgf9Wk0eZYQc-1753514343-1.0.1.1-AqHctterhKWagmCYfr9ztvRbtcSl6DuoeLtSb2HEbfA"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>