{ "ml": { "v": "4", "fs": [ { "id": 0, "prob": 1.0, "class": 2 } ], "prob": 1.0, "class": 2, "models": [ { "m": "az", "prob": 0.6687533, "class": 0 }, { "m": "az/documents", "prob": 0.93333334, "class": 2 }, { "m": "az/pdf", "prob": 1.0, "class": 2 } ], "version": "v16.16", "thresholds": [ 0.9961373, 0.9998425 ], "analyzed_at": "2026-05-12T22:56:21Z" }, "path": "332668344-R-Wolf-A-Tour-Through-Mathematical-Logic.pdf", "raw": { "v": "4", "fs": [ { "f": "H(Db)Md(Pd)", "k": { "header.version": "1.6", "shape.eof_count": 6, "filter_chains[0]": "FlateDecode", "filter_chains[1]": "FlateDecode", "filter_chains[2]": "JBIG2Decode", "filter_chains[3]": "FlateDecode", "filter_chains[4]": "JBIG2Decode", "filter_chains[5]": "FlateDecode", "filter_chains[6]": "JBIG2Decode", "filter_chains[7]": "FlateDecode", "filter_chains[8]": "JBIG2Decode", "filter_chains[9]": "FlateDecode", "filter_chains[10]": "JBIG2Decode", "filter_chains[11]": "FlateDecode", "filter_chains[12]": "JBIG2Decode", "filter_chains[13]": "FlateDecode", "filter_chains[14]": "JBIG2Decode", "filter_chains[15]": "FlateDecode", "filter_chains[16]": "JBIG2Decode", "filter_chains[17]": "FlateDecode", "filter_chains[18]": "JBIG2Decode", "filter_chains[19]": "FlateDecode", "filter_chains[20]": "JBIG2Decode", "filter_chains[21]": "FlateDecode", "filter_chains[22]": "JBIG2Decode", "filter_chains[23]": "FlateDecode", "filter_chains[24]": "JBIG2Decode", "filter_chains[25]": "FlateDecode", "filter_chains[26]": "JBIG2Decode", "filter_chains[27]": "FlateDecode", "filter_chains[28]": "JBIG2Decode", "filter_chains[29]": "FlateDecode", "filter_chains[30]": "JBIG2Decode", "filter_chains[31]": "CCITTFaxDecode", "filter_chains[32]": "FlateDecode", "filter_chains[33]": "JBIG2Decode", "filter_chains[34]": "FlateDecode", "filter_chains[35]": "JBIG2Decode", "filter_chains[36]": "FlateDecode", "filter_chains[37]": "JBIG2Decode", "filter_chains[38]": "FlateDecode", "filter_chains[39]": "JBIG2Decode", "filter_chains[40]": "FlateDecode", "filter_chains[41]": "JBIG2Decode", "filter_chains[42]": "FlateDecode", "filter_chains[43]": "DCTDecode", "filter_chains[44]": "FlateDecode", "filter_chains[45]": "JBIG2Decode", "filter_chains[46]": "FlateDecode", "filter_chains[47]": "JBIG2Decode", "filter_chains[48]": "FlateDecode", "filter_chains[49]": "JBIG2Decode", "filter_chains[50]": "FlateDecode", "filter_chains[51]": "JBIG2Decode", "filter_chains[52]": "FlateDecode", "filter_chains[53]": "JBIG2Decode", "filter_chains[54]": "FlateDecode", "filter_chains[55]": "JBIG2Decode", "filter_chains[56]": "FlateDecode", "filter_chains[57]": "JBIG2Decode", "filter_chains[58]": "FlateDecode", "filter_chains[59]": "JBIG2Decode", "filter_chains[60]": "FlateDecode", "filter_chains[61]": "JBIG2Decode", "filter_chains[62]": "FlateDecode", "filter_chains[63]": "JBIG2Decode", "filter_chains[64]": "FlateDecode", "filter_chains[65]": "JBIG2Decode", "filter_chains[66]": "FlateDecode", "filter_chains[67]": "JBIG2Decode", "filter_chains[68]": "FlateDecode", "filter_chains[69]": "JBIG2Decode", "filter_chains[70]": "FlateDecode", "filter_chains[71]": "JBIG2Decode", "filter_chains[72]": "FlateDecode", "filter_chains[73]": "JBIG2Decode", "filter_chains[74]": "FlateDecode", "filter_chains[75]": "JBIG2Decode", "filter_chains[76]": "FlateDecode", "filter_chains[77]": "JBIG2Decode", "filter_chains[78]": "FlateDecode", "filter_chains[79]": "JBIG2Decode", "filter_chains[80]": "FlateDecode", "filter_chains[81]": "JBIG2Decode", "filter_chains[82]": "FlateDecode", "filter_chains[83]": "JBIG2Decode", "filter_chains[84]": "FlateDecode", "filter_chains[85]": "DCTDecode", "filter_chains[86]": "FlateDecode", "filter_chains[87]": "JBIG2Decode", "filter_chains[88]": "FlateDecode", "filter_chains[89]": "JBIG2Decode", "filter_chains[90]": "FlateDecode", "filter_chains[91]": "JBIG2Decode", "filter_chains[92]": "FlateDecode", "filter_chains[93]": "JBIG2Decode", "filter_chains[94]": "FlateDecode", "filter_chains[95]": "JBIG2Decode", "filter_chains[96]": "FlateDecode", "filter_chains[97]": "JBIG2Decode", "filter_chains[98]": "FlateDecode", "filter_chains[99]": "JBIG2Decode", "filter_chains[100]": "FlateDecode", "filter_chains[101]": "JBIG2Decode", "filter_chains[102]": "FlateDecode", "filter_chains[103]": "JBIG2Decode", "filter_chains[104]": "FlateDecode", "filter_chains[105]": "JBIG2Decode", "filter_chains[106]": "FlateDecode", "filter_chains[107]": "JBIG2Decode", "filter_chains[108]": "FlateDecode", "filter_chains[109]": "JBIG2Decode", "filter_chains[110]": "FlateDecode", "filter_chains[111]": "JBIG2Decode", "filter_chains[112]": "FlateDecode", "filter_chains[113]": "JBIG2Decode", "filter_chains[114]": "FlateDecode", "filter_chains[115]": "JBIG2Decode", "filter_chains[116]": "FlateDecode", "filter_chains[117]": "JBIG2Decode", "filter_chains[118]": "FlateDecode", "filter_chains[119]": "JBIG2Decode", "filter_chains[120]": "FlateDecode", "filter_chains[121]": "JBIG2Decode", "filter_chains[122]": "FlateDecode", "filter_chains[123]": "JBIG2Decode", "filter_chains[124]": "FlateDecode", "filter_chains[125]": "JBIG2Decode", "filter_chains[126]": "FlateDecode", "filter_chains[127]": "JBIG2Decode", "filter_chains[128]": "FlateDecode", "filter_chains[129]": "JBIG2Decode", "filter_chains[130]": "FlateDecode", "filter_chains[131]": "JBIG2Decode", "filter_chains[132]": "FlateDecode", "filter_chains[133]": "JBIG2Decode", "filter_chains[134]": "FlateDecode", "filter_chains[135]": "JBIG2Decode", "filter_chains[136]": "FlateDecode", "filter_chains[137]": "JBIG2Decode", "filter_chains[138]": "FlateDecode", "filter_chains[139]": "JBIG2Decode", "filter_chains[140]": "FlateDecode", "filter_chains[141]": "JBIG2Decode", "filter_chains[142]": "FlateDecode", "filter_chains[143]": "JBIG2Decode", "filter_chains[144]": "FlateDecode", "filter_chains[145]": "JBIG2Decode", "filter_chains[146]": "FlateDecode", "filter_chains[147]": "JBIG2Decode", "filter_chains[148]": "FlateDecode", "filter_chains[149]": "JBIG2Decode", "filter_chains[150]": "FlateDecode", "filter_chains[151]": "JBIG2Decode", "filter_chains[152]": "FlateDecode", "filter_chains[153]": "JBIG2Decode", "filter_chains[154]": "FlateDecode", "filter_chains[155]": "DCTDecode", "filter_chains[156]": "FlateDecode", "filter_chains[157]": "JBIG2Decode", "filter_chains[158]": "FlateDecode", "filter_chains[159]": "JBIG2Decode", "filter_chains[160]": "FlateDecode", "filter_chains[161]": "JBIG2Decode", "filter_chains[162]": "FlateDecode", "filter_chains[163]": "JBIG2Decode", "filter_chains[164]": "FlateDecode", "filter_chains[165]": "JBIG2Decode", "filter_chains[166]": "FlateDecode", "filter_chains[167]": "JBIG2Decode", "filter_chains[168]": "FlateDecode", "filter_chains[169]": "JBIG2Decode", "filter_chains[170]": "FlateDecode", "filter_chains[171]": "JBIG2Decode", "filter_chains[172]": "FlateDecode", "filter_chains[173]": "JBIG2Decode", "filter_chains[174]": "FlateDecode", "filter_chains[175]": "DCTDecode", "filter_chains[176]": "FlateDecode", "filter_chains[177]": "JBIG2Decode", "filter_chains[178]": "FlateDecode", "filter_chains[179]": "JBIG2Decode", "filter_chains[180]": "FlateDecode", "filter_chains[181]": "JBIG2Decode", "filter_chains[182]": "FlateDecode", "filter_chains[183]": "JBIG2Decode", "filter_chains[184]": "FlateDecode", "filter_chains[185]": "JBIG2Decode", "filter_chains[186]": "FlateDecode", "filter_chains[187]": "JBIG2Decode", "filter_chains[188]": "FlateDecode", "filter_chains[189]": "JBIG2Decode", "filter_chains[190]": "FlateDecode", "filter_chains[191]": "JBIG2Decode", "filter_chains[192]": "FlateDecode", "filter_chains[193]": "JBIG2Decode", "filter_chains[194]": "FlateDecode", "filter_chains[195]": "JBIG2Decode", "filter_chains[196]": "FlateDecode", "filter_chains[197]": "JBIG2Decode", "filter_chains[198]": "FlateDecode", "filter_chains[199]": "JBIG2Decode", "filter_chains[200]": "FlateDecode", "filter_chains[201]": "JBIG2Decode", "filter_chains[202]": "FlateDecode", "filter_chains[203]": "JBIG2Decode", "filter_chains[204]": "FlateDecode", "filter_chains[205]": "JBIG2Decode", "filter_chains[206]": "FlateDecode", "filter_chains[207]": "JBIG2Decode", "filter_chains[208]": "FlateDecode", "filter_chains[209]": "JBIG2Decode", "filter_chains[210]": "FlateDecode", "filter_chains[211]": "JBIG2Decode", "filter_chains[212]": "FlateDecode", "filter_chains[213]": "JBIG2Decode", "filter_chains[214]": "FlateDecode", "filter_chains[215]": "JBIG2Decode", "filter_chains[216]": "FlateDecode", "filter_chains[217]": "JBIG2Decode", "filter_chains[218]": "FlateDecode", "filter_chains[219]": "JBIG2Decode", "filter_chains[220]": "FlateDecode", "filter_chains[221]": "JBIG2Decode", "filter_chains[222]": "FlateDecode", "filter_chains[223]": "JBIG2Decode", "filter_chains[224]": "FlateDecode", "filter_chains[225]": "DCTDecode", "filter_chains[226]": "FlateDecode", "filter_chains[227]": "JBIG2Decode", "filter_chains[228]": "FlateDecode", "filter_chains[229]": "JBIG2Decode", "filter_chains[230]": "FlateDecode", "filter_chains[231]": "JBIG2Decode", "filter_chains[232]": "FlateDecode", "filter_chains[233]": "JBIG2Decode", "filter_chains[234]": "FlateDecode", "filter_chains[235]": "JBIG2Decode", "filter_chains[236]": "FlateDecode", "filter_chains[237]": "JBIG2Decode", "filter_chains[238]": "FlateDecode", "filter_chains[239]": "JBIG2Decode", "filter_chains[240]": "FlateDecode", "filter_chains[241]": "JBIG2Decode", "filter_chains[242]": "FlateDecode", "filter_chains[243]": "JBIG2Decode", "filter_chains[244]": "FlateDecode", "filter_chains[245]": "JBIG2Decode", "filter_chains[246]": "FlateDecode", "filter_chains[247]": "JBIG2Decode", "filter_chains[248]": "FlateDecode", "filter_chains[249]": "DCTDecode", "filter_chains[250]": "FlateDecode", "filter_chains[251]": "JBIG2Decode", "filter_chains[252]": "FlateDecode", "filter_chains[253]": "JBIG2Decode", "filter_chains[254]": "FlateDecode", "filter_chains[255]": "JBIG2Decode", "filter_chains[256]": "FlateDecode", "filter_chains[257]": "JBIG2Decode", "filter_chains[258]": "FlateDecode", "filter_chains[259]": "JBIG2Decode", "filter_chains[260]": "FlateDecode", "filter_chains[261]": "JBIG2Decode", "filter_chains[262]": "FlateDecode", "filter_chains[263]": "JBIG2Decode", "filter_chains[264]": "FlateDecode", "filter_chains[265]": "JBIG2Decode", "filter_chains[266]": "FlateDecode", "filter_chains[267]": "JBIG2Decode", "filter_chains[268]": "FlateDecode", "filter_chains[269]": "JBIG2Decode", "filter_chains[270]": "FlateDecode", "filter_chains[271]": "JBIG2Decode", "filter_chains[272]": "FlateDecode", "filter_chains[273]": "JBIG2Decode", "filter_chains[274]": "FlateDecode", "filter_chains[275]": "JBIG2Decode", "filter_chains[276]": "FlateDecode", "filter_chains[277]": "JBIG2Decode", "filter_chains[278]": "FlateDecode", "filter_chains[279]": "JBIG2Decode", "filter_chains[280]": "FlateDecode", "filter_chains[281]": "JBIG2Decode", "filter_chains[282]": "FlateDecode", "filter_chains[283]": "JBIG2Decode", "filter_chains[284]": "FlateDecode", "filter_chains[285]": "JBIG2Decode", "filter_chains[286]": "FlateDecode", "filter_chains[287]": "JBIG2Decode", "filter_chains[288]": "FlateDecode", "filter_chains[289]": "JBIG2Decode", "filter_chains[290]": "FlateDecode", "filter_chains[291]": "JBIG2Decode", "filter_chains[292]": "FlateDecode", "filter_chains[293]": "JBIG2Decode", "filter_chains[294]": "FlateDecode", "filter_chains[295]": "JBIG2Decode", "filter_chains[296]": "FlateDecode", "filter_chains[297]": "JBIG2Decode", "filter_chains[298]": "CCITTFaxDecode", "filter_chains[299]": "FlateDecode", "filter_chains[300]": "JBIG2Decode", "filter_chains[301]": "FlateDecode", "filter_chains[302]": "JBIG2Decode", "filter_chains[303]": "FlateDecode", "filter_chains[304]": "DCTDecode", "filter_chains[305]": "FlateDecode", "filter_chains[306]": "JBIG2Decode", "filter_chains[307]": "FlateDecode", "filter_chains[308]": "JBIG2Decode", "filter_chains[309]": "FlateDecode", "filter_chains[310]": "JBIG2Decode", "filter_chains[311]": "FlateDecode", "filter_chains[312]": "JBIG2Decode", "filter_chains[313]": "FlateDecode", "filter_chains[314]": "JBIG2Decode", "filter_chains[315]": "FlateDecode", "filter_chains[316]": "JBIG2Decode", "filter_chains[317]": "FlateDecode", "filter_chains[318]": "JBIG2Decode", "filter_chains[319]": "FlateDecode", "filter_chains[320]": "JBIG2Decode", "filter_chains[321]": "FlateDecode", "filter_chains[322]": "JBIG2Decode", "filter_chains[323]": "FlateDecode", "filter_chains[324]": "JBIG2Decode", "filter_chains[325]": "FlateDecode", "filter_chains[326]": "JBIG2Decode", "filter_chains[327]": "FlateDecode", "filter_chains[328]": "JBIG2Decode", "filter_chains[329]": "FlateDecode", "filter_chains[330]": "JBIG2Decode", "filter_chains[331]": "FlateDecode", "filter_chains[332]": "JBIG2Decode", "filter_chains[333]": "FlateDecode", "filter_chains[334]": "JBIG2Decode", "filter_chains[335]": "FlateDecode", "filter_chains[336]": "JBIG2Decode", "filter_chains[337]": "FlateDecode", "filter_chains[338]": "JBIG2Decode", "filter_chains[339]": "FlateDecode", "filter_chains[340]": "JBIG2Decode", "filter_chains[341]": "FlateDecode", "filter_chains[342]": "JBIG2Decode", "filter_chains[343]": "FlateDecode", "filter_chains[344]": "JBIG2Decode", "filter_chains[345]": "FlateDecode", "filter_chains[346]": "JBIG2Decode", "filter_chains[347]": "FlateDecode", "filter_chains[348]": "DCTDecode", "filter_chains[349]": "FlateDecode", "filter_chains[350]": "JBIG2Decode", "filter_chains[351]": "FlateDecode", "filter_chains[352]": "JBIG2Decode", "filter_chains[353]": "FlateDecode", "filter_chains[354]": "JBIG2Decode", "filter_chains[355]": "FlateDecode", "filter_chains[356]": "JBIG2Decode", "filter_chains[357]": "CCITTFaxDecode", "filter_chains[358]": "FlateDecode", "filter_chains[359]": "JBIG2Decode", "filter_chains[360]": "FlateDecode", "filter_chains[361]": "JBIG2Decode", "filter_chains[362]": "FlateDecode", "filter_chains[363]": "JBIG2Decode", "filter_chains[364]": "FlateDecode", "filter_chains[365]": "JBIG2Decode", "filter_chains[366]": "FlateDecode", "filter_chains[367]": "JBIG2Decode", "filter_chains[368]": "FlateDecode", "filter_chains[369]": "JBIG2Decode", "filter_chains[370]": "FlateDecode", "filter_chains[371]": "JBIG2Decode", "filter_chains[372]": "FlateDecode", "filter_chains[373]": "JBIG2Decode", "filter_chains[374]": "FlateDecode", "filter_chains[375]": "JBIG2Decode", "filter_chains[376]": "FlateDecode", "filter_chains[377]": "JBIG2Decode", "filter_chains[378]": "FlateDecode", "filter_chains[379]": "JBIG2Decode", "filter_chains[380]": "FlateDecode", "filter_chains[381]": "JBIG2Decode", "filter_chains[382]": "FlateDecode", "filter_chains[383]": "JBIG2Decode", "filter_chains[384]": "FlateDecode", "filter_chains[385]": "JBIG2Decode", "filter_chains[386]": "FlateDecode", "filter_chains[387]": "JBIG2Decode", "filter_chains[388]": "FlateDecode", "filter_chains[389]": "JBIG2Decode", "filter_chains[390]": "FlateDecode", "filter_chains[391]": "JBIG2Decode", "filter_chains[392]": "FlateDecode", "filter_chains[393]": "JBIG2Decode", "filter_chains[394]": "FlateDecode", "filter_chains[395]": "JBIG2Decode", "filter_chains[396]": "FlateDecode", "filter_chains[397]": "JBIG2Decode", "filter_chains[398]": "FlateDecode", "filter_chains[399]": "JBIG2Decode", "filter_chains[400]": "FlateDecode", "filter_chains[401]": "JBIG2Decode", "filter_chains[402]": "FlateDecode", "filter_chains[403]": "JBIG2Decode", "filter_chains[404]": "FlateDecode", "filter_chains[405]": "JBIG2Decode", "filter_chains[406]": "FlateDecode", "filter_chains[407]": "JBIG2Decode", "filter_chains[408]": "FlateDecode", "filter_chains[409]": "JBIG2Decode", "filter_chains[410]": "FlateDecode", "filter_chains[411]": "JBIG2Decode", "filter_chains[412]": "FlateDecode", "filter_chains[413]": "JBIG2Decode", "filter_chains[414]": "FlateDecode", "filter_chains[415]": "JBIG2Decode", "filter_chains[416]": "FlateDecode", "filter_chains[417]": "JBIG2Decode", "filter_chains[418]": "FlateDecode", "filter_chains[419]": "JBIG2Decode", "filter_chains[420]": "FlateDecode", "filter_chains[421]": "JBIG2Decode", "filter_chains[422]": "FlateDecode", "filter_chains[423]": "JBIG2Decode", "filter_chains[424]": "FlateDecode", "filter_chains[425]": "DCTDecode", "filter_chains[426]": "FlateDecode", "filter_chains[427]": "JBIG2Decode", "filter_chains[428]": "FlateDecode", "filter_chains[429]": "JBIG2Decode", "filter_chains[430]": "FlateDecode", "filter_chains[431]": "JBIG2Decode", "filter_chains[432]": "FlateDecode", "filter_chains[433]": "JBIG2Decode", "filter_chains[434]": "FlateDecode", "filter_chains[435]": "JBIG2Decode", "filter_chains[436]": "FlateDecode", "filter_chains[437]": "JBIG2Decode", "filter_chains[438]": "FlateDecode", "filter_chains[439]": "JBIG2Decode", "filter_chains[440]": "FlateDecode", "filter_chains[441]": "JBIG2Decode", "filter_chains[442]": "FlateDecode", "filter_chains[443]": "JBIG2Decode", "filter_chains[444]": "FlateDecode", "filter_chains[445]": "JBIG2Decode", "filter_chains[446]": "FlateDecode", "filter_chains[447]": "JBIG2Decode", "filter_chains[448]": "FlateDecode", "filter_chains[449]": "JBIG2Decode", "filter_chains[450]": "FlateDecode", "filter_chains[451]": "JBIG2Decode", "filter_chains[452]": "FlateDecode", "filter_chains[453]": "JBIG2Decode", "filter_chains[454]": "FlateDecode", "filter_chains[455]": "JBIG2Decode", "filter_chains[456]": "FlateDecode", "filter_chains[457]": "JBIG2Decode", "filter_chains[458]": "FlateDecode", "filter_chains[459]": "JBIG2Decode", "filter_chains[460]": "FlateDecode", "filter_chains[461]": "JBIG2Decode", "filter_chains[462]": "FlateDecode", "filter_chains[463]": "JBIG2Decode", "filter_chains[464]": "FlateDecode", "filter_chains[465]": "JBIG2Decode", "filter_chains[466]": "FlateDecode", "filter_chains[467]": "JBIG2Decode", "filter_chains[468]": "FlateDecode", "filter_chains[469]": "JBIG2Decode", "filter_chains[470]": "FlateDecode", "filter_chains[471]": "JBIG2Decode", "filter_chains[472]": "FlateDecode", "filter_chains[473]": "JBIG2Decode", "filter_chains[474]": "FlateDecode", "filter_chains[475]": "JBIG2Decode", "filter_chains[476]": "FlateDecode", "filter_chains[477]": "JBIG2Decode", "filter_chains[478]": "FlateDecode", "filter_chains[479]": "JBIG2Decode", "filter_chains[480]": "FlateDecode", "filter_chains[481]": "JBIG2Decode", "filter_chains[482]": "FlateDecode", "filter_chains[483]": "JBIG2Decode", "filter_chains[484]": "FlateDecode", "filter_chains[485]": "JBIG2Decode", "filter_chains[486]": "FlateDecode", "filter_chains[487]": "JBIG2Decode", "filter_chains[488]": "FlateDecode", "filter_chains[489]": "JBIG2Decode", "filter_chains[490]": "FlateDecode", "filter_chains[491]": "JBIG2Decode", "filter_chains[492]": "FlateDecode", "filter_chains[493]": "JBIG2Decode", "filter_chains[494]": "FlateDecode", "filter_chains[495]": "JBIG2Decode", "filter_chains[496]": "FlateDecode", "filter_chains[497]": "JBIG2Decode", "filter_chains[498]": "FlateDecode", "filter_chains[499]": "JBIG2Decode", "filter_chains[500]": "FlateDecode", "filter_chains[501]": "JBIG2Decode", "filter_chains[502]": "FlateDecode", "filter_chains[503]": "JBIG2Decode", "filter_chains[504]": "FlateDecode", "filter_chains[505]": "JBIG2Decode", "filter_chains[506]": "FlateDecode", "filter_chains[507]": "JBIG2Decode", "filter_chains[508]": "FlateDecode", "filter_chains[509]": "JBIG2Decode", "filter_chains[510]": "FlateDecode", "filter_chains[511]": "JBIG2Decode", "filter_chains[512]": "FlateDecode", "filter_chains[513]": "JBIG2Decode", "filter_chains[514]": "FlateDecode", "filter_chains[515]": "JBIG2Decode", "filter_chains[516]": "FlateDecode", "filter_chains[517]": "JBIG2Decode", "filter_chains[518]": "FlateDecode", "filter_chains[519]": "JBIG2Decode", "filter_chains[520]": "FlateDecode", "filter_chains[521]": "JBIG2Decode", "filter_chains[522]": "FlateDecode", "filter_chains[523]": "JBIG2Decode", "filter_chains[524]": "FlateDecode", "filter_chains[525]": "JBIG2Decode", "filter_chains[526]": "FlateDecode", "filter_chains[527]": "JBIG2Decode", "filter_chains[528]": "FlateDecode", "filter_chains[529]": "JBIG2Decode", "filter_chains[530]": "FlateDecode", "filter_chains[531]": "JBIG2Decode", "filter_chains[532]": "FlateDecode", "filter_chains[533]": "JBIG2Decode", "filter_chains[534]": "FlateDecode", "filter_chains[535]": "JBIG2Decode", "filter_chains[536]": "FlateDecode", "filter_chains[537]": "JBIG2Decode", "filter_chains[538]": "FlateDecode", "filter_chains[539]": "JBIG2Decode", "filter_chains[540]": "FlateDecode", "filter_chains[541]": "JBIG2Decode", "filter_chains[542]": "FlateDecode", "filter_chains[543]": "JBIG2Decode", "filter_chains[544]": "FlateDecode", "filter_chains[545]": "JBIG2Decode", "filter_chains[546]": "FlateDecode", "filter_chains[547]": "JBIG2Decode", "filter_chains[548]": "FlateDecode", "filter_chains[549]": "JBIG2Decode", "filter_chains[550]": "FlateDecode", "filter_chains[551]": "DCTDecode", "filter_chains[552]": "FlateDecode", "filter_chains[553]": "JBIG2Decode", "filter_chains[554]": "FlateDecode", "filter_chains[555]": "JBIG2Decode", "filter_chains[556]": "FlateDecode", "filter_chains[557]": "JBIG2Decode", "filter_chains[558]": "FlateDecode", "filter_chains[559]": "JBIG2Decode", "filter_chains[560]": "FlateDecode", "filter_chains[561]": "JBIG2Decode", "filter_chains[562]": "FlateDecode", "filter_chains[563]": "JBIG2Decode", "filter_chains[564]": "FlateDecode", "filter_chains[565]": "JBIG2Decode", "filter_chains[566]": "FlateDecode", "filter_chains[567]": "JBIG2Decode", "filter_chains[568]": "FlateDecode", "filter_chains[569]": "JBIG2Decode", "filter_chains[570]": "FlateDecode", "filter_chains[571]": "JBIG2Decode", "filter_chains[572]": "FlateDecode", "filter_chains[573]": "JBIG2Decode", "filter_chains[574]": "FlateDecode", "filter_chains[575]": "JBIG2Decode", "filter_chains[576]": "FlateDecode", "filter_chains[577]": "JBIG2Decode", "filter_chains[578]": "FlateDecode", "filter_chains[579]": "JBIG2Decode", "filter_chains[580]": "FlateDecode", "filter_chains[581]": "JBIG2Decode", "filter_chains[582]": "FlateDecode", "filter_chains[583]": "JBIG2Decode", "filter_chains[584]": "FlateDecode", "filter_chains[585]": "JBIG2Decode", "filter_chains[586]": "FlateDecode", "filter_chains[587]": "JBIG2Decode", "filter_chains[588]": "FlateDecode", "filter_chains[589]": "JBIG2Decode", "filter_chains[590]": "FlateDecode", "filter_chains[591]": "JBIG2Decode", "filter_chains[592]": "FlateDecode", "filter_chains[593]": "DCTDecode", "filter_chains[594]": "FlateDecode", "filter_chains[595]": "JBIG2Decode", "filter_chains[596]": "FlateDecode", "filter_chains[597]": "JBIG2Decode", "filter_chains[598]": "FlateDecode", "filter_chains[599]": "JBIG2Decode", "filter_chains[600]": "FlateDecode", "filter_chains[601]": "JBIG2Decode", "filter_chains[602]": "FlateDecode", "filter_chains[603]": "DCTDecode", "filter_chains[604]": "FlateDecode", "filter_chains[605]": "JBIG2Decode", "filter_chains[606]": "FlateDecode", "filter_chains[607]": "JBIG2Decode", "filter_chains[608]": "FlateDecode", "filter_chains[609]": "JBIG2Decode", "filter_chains[610]": "FlateDecode", "filter_chains[611]": "JBIG2Decode", "filter_chains[612]": "FlateDecode", "filter_chains[613]": "JBIG2Decode", "filter_chains[614]": "FlateDecode", "filter_chains[615]": "JBIG2Decode", "filter_chains[616]": "FlateDecode", "filter_chains[617]": "JBIG2Decode", "filter_chains[618]": "FlateDecode", "filter_chains[619]": "JBIG2Decode", "filter_chains[620]": "FlateDecode", "filter_chains[621]": "JBIG2Decode", "filter_chains[622]": "FlateDecode", "filter_chains[623]": "JBIG2Decode", "filter_chains[624]": "FlateDecode", "filter_chains[625]": "JBIG2Decode", "filter_chains[626]": "FlateDecode", "filter_chains[627]": "JBIG2Decode", "filter_chains[628]": "FlateDecode", "filter_chains[629]": "JBIG2Decode", "filter_chains[630]": "FlateDecode", "filter_chains[631]": "JBIG2Decode", "filter_chains[632]": "FlateDecode", "filter_chains[633]": "JBIG2Decode", "filter_chains[634]": "FlateDecode", "filter_chains[635]": "JBIG2Decode", "filter_chains[636]": "FlateDecode", "filter_chains[637]": "JBIG2Decode", "filter_chains[638]": "FlateDecode", "filter_chains[639]": "JBIG2Decode", "filter_chains[640]": "FlateDecode", "filter_chains[641]": "JBIG2Decode", "filter_chains[642]": "FlateDecode", "filter_chains[643]": "JBIG2Decode", "filter_chains[644]": "FlateDecode", "filter_chains[645]": "JBIG2Decode", "filter_chains[646]": "FlateDecode", "filter_chains[647]": "JBIG2Decode", "filter_chains[648]": "FlateDecode", "filter_chains[649]": "JBIG2Decode", "filter_chains[650]": "FlateDecode", "filter_chains[651]": "JBIG2Decode", "filter_chains[652]": "FlateDecode", "filter_chains[653]": "JBIG2Decode", "filter_chains[654]": "FlateDecode", "filter_chains[655]": "JBIG2Decode", "filter_chains[656]": "FlateDecode", "filter_chains[657]": "JBIG2Decode", "filter_chains[658]": "FlateDecode", "filter_chains[659]": "JBIG2Decode", "filter_chains[660]": "FlateDecode", "filter_chains[661]": "JBIG2Decode", "filter_chains[662]": "FlateDecode", "filter_chains[663]": "JBIG2Decode", "filter_chains[664]": "FlateDecode", "filter_chains[665]": "JBIG2Decode", "filter_chains[666]": "FlateDecode", "filter_chains[667]": "JBIG2Decode", "filter_chains[668]": "FlateDecode", "filter_chains[669]": "JBIG2Decode", "filter_chains[670]": "FlateDecode", "filter_chains[671]": "JBIG2Decode", "filter_chains[672]": "FlateDecode", "filter_chains[673]": "JBIG2Decode", "filter_chains[674]": "FlateDecode", "filter_chains[675]": "JBIG2Decode", "filter_chains[676]": "FlateDecode", "filter_chains[677]": "JBIG2Decode", "filter_chains[678]": "FlateDecode", "filter_chains[679]": "JBIG2Decode", "filter_chains[680]": "FlateDecode", "filter_chains[681]": "DCTDecode", "filter_chains[682]": "FlateDecode", "filter_chains[683]": "JBIG2Decode", "filter_chains[684]": "FlateDecode", "filter_chains[685]": "JBIG2Decode", "filter_chains[686]": "FlateDecode", "filter_chains[687]": "JBIG2Decode", "filter_chains[688]": "FlateDecode", "filter_chains[689]": "JBIG2Decode", "filter_chains[690]": "FlateDecode", "filter_chains[691]": "JBIG2Decode", "filter_chains[692]": "FlateDecode", "filter_chains[693]": "JBIG2Decode", "filter_chains[694]": "FlateDecode", "filter_chains[695]": "JBIG2Decode", "filter_chains[696]": "FlateDecode", "filter_chains[697]": "JBIG2Decode", "filter_chains[698]": "FlateDecode", "filter_chains[699]": "JBIG2Decode", "filter_chains[700]": "FlateDecode", "filter_chains[701]": "JBIG2Decode", "filter_chains[702]": "FlateDecode", "filter_chains[703]": "JBIG2Decode", "filter_chains[704]": "FlateDecode", "filter_chains[705]": "JBIG2Decode", "filter_chains[706]": "FlateDecode", "filter_chains[707]": "JBIG2Decode", "filter_chains[708]": "FlateDecode", "filter_chains[709]": "JBIG2Decode", "filter_chains[710]": "FlateDecode", "filter_chains[711]": "JBIG2Decode", "filter_chains[712]": "FlateDecode", "filter_chains[713]": "JBIG2Decode", "filter_chains[714]": "FlateDecode", "filter_chains[715]": "JBIG2Decode", "filter_chains[716]": "FlateDecode", "filter_chains[717]": "JBIG2Decode", "filter_chains[718]": "FlateDecode", "filter_chains[719]": "JBIG2Decode", "filter_chains[720]": "FlateDecode", "filter_chains[721]": "JBIG2Decode", "filter_chains[722]": "FlateDecode", "filter_chains[723]": "JBIG2Decode", "filter_chains[724]": "FlateDecode", "filter_chains[725]": "JBIG2Decode", "filter_chains[726]": "FlateDecode", "filter_chains[727]": "JBIG2Decode", "filter_chains[728]": "FlateDecode", "filter_chains[729]": "JBIG2Decode", "filter_chains[730]": "FlateDecode", "filter_chains[731]": "JBIG2Decode", "filter_chains[732]": "FlateDecode", "filter_chains[733]": "JBIG2Decode", "filter_chains[734]": "FlateDecode", "filter_chains[735]": "JBIG2Decode", "filter_chains[736]": "FlateDecode", "filter_chains[737]": "JBIG2Decode", "filter_chains[738]": "FlateDecode", "filter_chains[739]": "JBIG2Decode", "filter_chains[740]": "FlateDecode", "filter_chains[741]": "JBIG2Decode", "filter_chains[742]": "FlateDecode", "filter_chains[743]": "JBIG2Decode", "filter_chains[744]": "FlateDecode", "filter_chains[745]": "JBIG2Decode", "filter_chains[746]": "FlateDecode", "filter_chains[747]": "JBIG2Decode", "filter_chains[748]": "CCITTFaxDecode", "filter_chains[749]": "FlateDecode", "filter_chains[750]": "JBIG2Decode", "filter_chains[751]": "FlateDecode", "filter_chains[752]": "JBIG2Decode", "filter_chains[753]": "FlateDecode", "filter_chains[754]": "JBIG2Decode", "filter_chains[755]": "FlateDecode", "filter_chains[756]": "JBIG2Decode", "filter_chains[757]": "FlateDecode", "filter_chains[758]": "JBIG2Decode", "filter_chains[759]": "FlateDecode", "filter_chains[760]": "JBIG2Decode", "filter_chains[761]": "FlateDecode", "filter_chains[762]": "JBIG2Decode", "filter_chains[763]": "FlateDecode", "filter_chains[764]": "JBIG2Decode", "filter_chains[765]": "FlateDecode", "filter_chains[766]": "JBIG2Decode", "filter_chains[767]": "FlateDecode", "filter_chains[768]": "JBIG2Decode", "filter_chains[769]": "FlateDecode", "filter_chains[770]": "JBIG2Decode", "filter_chains[771]": "FlateDecode", "filter_chains[772]": "JBIG2Decode", "filter_chains[773]": "FlateDecode", "filter_chains[774]": "JBIG2Decode", "filter_chains[775]": "CCITTFaxDecode", "filter_chains[776]": "FlateDecode", "filter_chains[777]": "JBIG2Decode", "filter_chains[778]": "FlateDecode", "filter_chains[779]": "JBIG2Decode", "filter_chains[780]": "FlateDecode", "filter_chains[781]": "JBIG2Decode", "filter_chains[782]": "FlateDecode", "filter_chains[783]": "JBIG2Decode", "filter_chains[784]": "FlateDecode", "filter_chains[785]": "JBIG2Decode", "filter_chains[786]": "CCITTFaxDecode", "filter_chains[787]": "FlateDecode", "filter_chains[788]": "JBIG2Decode", "filter_chains[789]": "FlateDecode", "filter_chains[790]": "JBIG2Decode", "filter_chains[791]": "FlateDecode", "filter_chains[792]": "JBIG2Decode", "filter_chains[793]": "FlateDecode", "filter_chains[794]": "JBIG2Decode", "filter_chains[795]": "FlateDecode", "filter_chains[796]": "JBIG2Decode", "filter_chains[797]": "FlateDecode", "filter_chains[798]": "JBIG2Decode", "filter_chains[799]": "FlateDecode", "filter_chains[800]": "JBIG2Decode", "filter_chains[801]": "FlateDecode", "filter_chains[802]": "JBIG2Decode", "filter_chains[803]": "FlateDecode", "filter_chains[804]": "JBIG2Decode", "filter_chains[805]": "FlateDecode", "filter_chains[806]": "JBIG2Decode", "filter_chains[807]": "FlateDecode", "filter_chains[808]": "JBIG2Decode", "filter_chains[809]": "FlateDecode", "filter_chains[810]": "JBIG2Decode", "filter_chains[811]": "FlateDecode", "filter_chains[812]": "JBIG2Decode", "filter_chains[813]": "FlateDecode", "filter_chains[814]": "JBIG2Decode", "filter_chains[815]": "FlateDecode", "filter_chains[816]": "JBIG2Decode", "filter_chains[817]": "FlateDecode", "filter_chains[818]": "JBIG2Decode", "filter_chains[819]": "CCITTFaxDecode", "filter_chains[820]": "FlateDecode", "filter_chains[821]": "DCTDecode", "filter_chains[822]": "DCTDecode", "shape.object_count": 1893, "header.header_count": 1, "catalog.has_openaction": true, "shape.jbig2_filter_count": 393 }, "x": 40, "id": 0, "ms": { "file": { "size": 11643644.0 } }, "sz": 11643644, "ts": [ { "c": 0.8999999761581421, "d": "PDF has many %%EOF markers", "e": [ "6" ], "i": "metadata/document/pdf/properties::pdf-many-incremental-updates", "l": 4 }, { "a": "T1566.001", "c": 0.8600000143051147, "d": "PDF annotation object", "e": [ "/Type /Annot" ], "i": "objectives/execution/lure/document::pdf-annotation-object", "l": 1 }, { "c": 0.8999999761581421, "d": "PDF catalog has OpenAction", "e": [ "true" ], "i": "metadata/document/pdf/properties::pdf-has-openaction", "l": 3 }, { "c": 0.75, "d": "PDF chained stream filter array", "e": [ "/Filter [" ], "i": "micro-behaviors/data/encode/custom::pdf-multi-filter", "l": 3 }, { "a": "T1203", "c": 0.9599999785423279, "d": "PDF JBIG2Decode filter (CVE-2010-1297 family)", "e": [ "393" ], "i": "metadata/document/pdf/properties::pdf-filter-jbig2-cve-2010-1297", "l": 4 } ], "sha": "980355c0aacb38e51b7228b6eb333d6c87d3d708f9d1a5e8ecbafa06673f0838", "path": "/data/samples/good/datasets/PDF/Pdf-Collections/maths-and-cs/332668344-R-Wolf-A-Tour-Through-Mathematical-Logic.pdf", "type": "pdf" } ], "tv": "f2a89" } }