diff --git a/README.md b/README.md
index 2f5722b..2904eba 100644
--- a/README.md
+++ b/README.md
@@ -17,6 +17,7 @@ https://github.com/microsoft/MInference/assets/30883354/52613efc-738f-4081-8367-
 _Now, you can process **1M context 10x faster in a single A100** using Long-context LLMs like LLaMA-3-8B-1M, GLM-4-1M, with even **better accuracy**, try **MInference 1.0** right now!_
 
 ## News
+- 🥤 [24/07/24] MInference support [meta-llama/Meta-Llama-3.1-8B-Instruct](https://huggingface.co/meta-llama/Meta-Llama-3.1-8B-Instruct) now.
 - 🪗 [24/07/07] Thanks @AK for sponsoring. You can now use MInference online in the [HF Demo](https://huggingface.co/spaces/microsoft/MInference) with ZeroGPU.
 - 📃 [24/07/03] Due to an issue with arXiv, the PDF is currently unavailable there. You can find the paper at this [link](https://export.arxiv.org/pdf/2407.02490).
 - 🧩 [24/07/03] We will present **MInference 1.0** at the _**Microsoft Booth**_ and _**ES-FoMo**_ at ICML'24. See you in Vienna!
@@ -60,6 +61,7 @@ get_support_models()
 ```
 
 Currently, we support the following LLMs:
+- LLaMA-3.1: [meta-llama/Meta-Llama-3.1-8B-Instruct](https://huggingface.co/meta-llama/Meta-Llama-3.1-8B-Instruct)
 - LLaMA-3: [gradientai/Llama-3-8B-Instruct-262k](https://huggingface.co/gradientai/Llama-3-8B-Instruct-262k), [gradientai/Llama-3-8B-Instruct-Gradient-1048k](https://huggingface.co/gradientai/Llama-3-8B-Instruct-Gradient-1048k), [gradientai/Llama-3-8B-Instruct-Gradient-4194k](https://huggingface.co/gradientai/Llama-3-8B-Instruct-Gradient-4194k)
 - GLM-4: [THUDM/glm-4-9b-chat-1m](https://huggingface.co/THUDM/glm-4-9b-chat-1m)
 - Yi: [01-ai/Yi-9B-200K](https://huggingface.co/01-ai/Yi-9B-200K)
diff --git a/minference/configs/Llama_3.1_8B_Instruct_128k_kv_out_v32_fit_o_best_pattern.json b/minference/configs/Llama_3.1_8B_Instruct_128k_kv_out_v32_fit_o_best_pattern.json
new file mode 100644
index 0000000..bf84076
--- /dev/null
+++ b/minference/configs/Llama_3.1_8B_Instruct_128k_kv_out_v32_fit_o_best_pattern.json
@@ -0,0 +1 @@
+[{"0": ["vertical_and_slash", 1000, 6096, 0.9645951390266418], "1": ["vertical_and_slash", 1000, 6096, 0.9643118977546692], "2": ["vertical_and_slash", 1000, 6096, 0.9868560433387756], "3": ["vertical_and_slash", 1000, 6096, 0.9066882133483887], "4": ["vertical_and_slash", 1000, 6096, 0.8384770750999451], "5": ["vertical_and_slash", 1000, 6096, 0.835468590259552], "6": ["vertical_and_slash", 1000, 6096, 0.8871183395385742], "7": ["vertical_and_slash", 1000, 6096, 0.8453579545021057], "8": ["vertical_and_slash", 1000, 6096, 0.8092553615570068], "9": ["vertical_and_slash", 1000, 6096, 0.8697246313095093], "10": ["vertical_and_slash", 1000, 6096, 0.9496452212333679], "11": ["vertical_and_slash", 1000, 6096, 0.8842584490776062], "12": ["vertical_and_slash", 1000, 6096, 0.613018274307251], "13": ["vertical_and_slash", 1000, 6096, 0.5473001599311829], "14": ["vertical_and_slash", 1000, 6096, 0.6623730659484863], "15": ["vertical_and_slash", 1000, 6096, 0.6256281137466431], "16": ["vertical_and_slash", 1000, 6096, 0.6286638975143433], "17": ["vertical_and_slash", 1000, 6096, 0.6928349733352661], "18": ["vertical_and_slash", 1000, 6096, 0.6307621598243713], "19": ["vertical_and_slash", 1000, 6096, 0.6331143975257874], "20": ["vertical_and_slash", 1000, 6096, 0.5811723470687866], "21": ["vertical_and_slash", 1000, 6096, 0.5251738429069519], "22": ["vertical_and_slash", 1000, 6096, 0.4680206775665283], "23": ["vertical_and_slash", 1000, 6096, 0.6884945631027222], "24": ["vertical_and_slash", 1000, 6096, 0.9140691161155701], "25": ["vertical_and_slash", 1000, 6096, 0.854979932308197], "26": ["vertical_and_slash", 1000, 6096, 0.8844645619392395], "27": ["vertical_and_slash", 1000, 6096, 0.8390430212020874], "28": ["vertical_and_slash", 1000, 6096, 0.40988317131996155], "29": ["vertical_and_slash", 3500, 100, 0.81468665599823], "30": ["vertical_and_slash", 3500, 100, 0.5836060643196106], "31": ["vertical_and_slash", 3500, 100, 0.9285933375358582]}, {"0": ["vertical_and_slash", 30, 800, 0.9606457948684692], "1": ["vertical_and_slash", 500, 700, 0.9559118747711182], "2": ["vertical_and_slash", 1000, 6096, 0.8758323192596436], "3": ["vertical_and_slash", 500, 700, 0.9542838931083679], "4": ["vertical_and_slash", 30, 800, 0.9751565456390381], "5": ["vertical_and_slash", 30, 800, 0.9853302836418152], "6": ["vertical_and_slash", 30, 800, 0.9257169365882874], "7": ["vertical_and_slash", 30, 800, 0.9427204132080078], "8": ["vertical_and_slash", 30, 800, 0.9230360388755798], "9": ["vertical_and_slash", 1000, 6096, 0.587185800075531], "10": ["vertical_and_slash", 30, 800, 0.952581524848938], "11": ["vertical_and_slash", 500, 700, 0.9271975755691528], "12": ["vertical_and_slash", 1000, 6096, 0.9231844544410706], "13": ["vertical_and_slash", 30, 800, 0.9554020166397095], "14": ["vertical_and_slash", 30, 800, 0.8323891162872314], "15": ["vertical_and_slash", 30, 800, 0.930496335029602], "16": ["vertical_and_slash", 30, 800, 0.9835872054100037], "17": ["vertical_and_slash", 30, 800, 0.9782426953315735], "18": ["vertical_and_slash", 30, 800, 0.9922719597816467], "19": ["vertical_and_slash", 30, 800, 0.954961359500885], "20": ["vertical_and_slash", 30, 800, 0.9950350522994995], "21": ["vertical_and_slash", 30, 800, 0.9947351813316345], "22": ["vertical_and_slash", 30, 800, 0.8034972548484802], "23": ["vertical_and_slash", 1000, 6096, 0.7825947403907776], "24": ["vertical_and_slash", 30, 800, 0.9483550190925598], "25": ["vertical_and_slash", 500, 700, 0.8846591114997864], "26": ["vertical_and_slash", 30, 800, 0.9582298398017883], "27": ["vertical_and_slash", 30, 800, 0.9463901519775391], "28": ["vertical_and_slash", 1000, 6096, 0.8778873682022095], "29": ["vertical_and_slash", 1000, 6096, 0.9215229153633118], "30": ["vertical_and_slash", 30, 800, 0.9545977115631104], "31": ["vertical_and_slash", 30, 800, 0.8700023889541626]}, {"0": ["vertical_and_slash", 30, 800, 0.9917542934417725], "1": ["vertical_and_slash", 30, 800, 0.9637826681137085], "2": ["vertical_and_slash", 30, 800, 0.9905248284339905], "3": ["vertical_and_slash", 1000, 6096, 0.9387498497962952], "4": ["vertical_and_slash", 30, 800, 0.9815536737442017], "5": ["vertical_and_slash", 30, 800, 0.9495874047279358], "6": ["vertical_and_slash", 100, 800, 0.86328125], "7": ["vertical_and_slash", 30, 800, 0.9903317093849182], "8": ["vertical_and_slash", 30, 800, 0.9950467944145203], "9": ["vertical_and_slash", 30, 800, 0.993314266204834], "10": ["vertical_and_slash", 30, 800, 0.9852835536003113], "11": ["vertical_and_slash", 30, 800, 0.9859053492546082], "12": ["vertical_and_slash", 30, 800, 0.994464099407196], "13": ["vertical_and_slash", 30, 800, 0.9855010509490967], "14": ["vertical_and_slash", 100, 800, 0.62890625], "15": ["vertical_and_slash", 1000, 6096, 0.8527955412864685], "16": ["vertical_and_slash", 30, 800, 0.9897146821022034], "17": ["vertical_and_slash", 30, 800, 0.9801600575447083], "18": ["vertical_and_slash", 30, 800, 0.9936752915382385], "19": ["vertical_and_slash", 1000, 6096, 0.9319088459014893], "20": ["vertical_and_slash", 1000, 6096, 0.9181358218193054], "21": ["vertical_and_slash", 1000, 6096, 0.9484037756919861], "22": ["vertical_and_slash", 1000, 6096, 0.9803578853607178], "23": ["vertical_and_slash", 1000, 6096, 0.9990358948707581], "24": ["vertical_and_slash", 30, 800, 0.984993577003479], "25": ["vertical_and_slash", 100, 800, 0.99609375], "26": ["vertical_and_slash", 100, 800, 0.99609375], "27": ["vertical_and_slash", 30, 800, 0.9951220750808716], "28": ["vertical_and_slash", 30, 800, 0.9924372434616089], "29": ["vertical_and_slash", 30, 800, 0.9929786324501038], "30": ["vertical_and_slash", 30, 800, 0.9946975111961365], "31": ["vertical_and_slash", 30, 800, 0.9946795105934143]}, {"0": ["vertical_and_slash", 1000, 6096, 0.9770999550819397], "1": ["vertical_and_slash", 1000, 6096, 0.9795235395431519], "2": ["vertical_and_slash", 100, 800, 1.0], "3": ["vertical_and_slash", 1000, 6096, 0.9940649271011353], "4": ["vertical_and_slash", 30, 800, 0.9976175427436829], "5": ["vertical_and_slash", 30, 800, 0.9964977502822876], "6": ["vertical_and_slash", 30, 800, 0.9852505922317505], "7": ["vertical_and_slash", 30, 800, 0.9912457466125488], "8": ["vertical_and_slash", 30, 800, 0.9946132302284241], "9": ["vertical_and_slash", 30, 800, 0.9836555123329163], "10": ["vertical_and_slash", 30, 800, 0.9907234907150269], "11": ["vertical_and_slash", 30, 800, 0.9940478801727295], "12": ["vertical_and_slash", 100, 800, 0.90625], "13": ["vertical_and_slash", 30, 800, 0.9403843283653259], "14": ["vertical_and_slash", 500, 700, 0.9940536618232727], "15": ["vertical_and_slash", 30, 800, 0.9930430054664612], "16": ["vertical_and_slash", 30, 800, 0.990331768989563], "17": ["vertical_and_slash", 30, 800, 0.9973565340042114], "18": ["vertical_and_slash", 30, 800, 0.9962788820266724], "19": ["vertical_and_slash", 30, 800, 0.9755663871765137], "20": ["vertical_and_slash", 500, 700, 0.9660491943359375], "21": ["vertical_and_slash", 100, 800, 0.9609375], "22": ["vertical_and_slash", 1000, 6096, 0.9093130826950073], "23": ["vertical_and_slash", 30, 800, 0.9103626608848572], "24": ["vertical_and_slash", 30, 800, 0.9940206408500671], "25": ["vertical_and_slash", 1000, 6096, 0.9898346066474915], "26": ["vertical_and_slash", 30, 800, 0.9925925135612488], "27": ["vertical_and_slash", 100, 800, 0.74609375], "28": ["vertical_and_slash", 30, 800, 0.984257161617279], "29": ["vertical_and_slash", 100, 800, 0.97265625], "30": ["vertical_and_slash", 30, 800, 0.9798495173454285], "31": ["vertical_and_slash", 30, 800, 0.9899864792823792]}, {"0": ["vertical_and_slash", 100, 800, 0.91015625], "1": ["vertical_and_slash", 30, 800, 0.9502514600753784], "2": ["vertical_and_slash", 30, 800, 0.9773570895195007], "3": ["vertical_and_slash", 30, 800, 0.9736469388008118], "4": ["vertical_and_slash", 30, 800, 0.9908788800239563], "5": ["vertical_and_slash", 30, 800, 0.8939412236213684], "6": ["vertical_and_slash", 1000, 6096, 0.8417163491249084], "7": ["vertical_and_slash", 30, 800, 0.9903419017791748], "8": ["vertical_and_slash", 100, 800, 0.9140625], "9": ["vertical_and_slash", 30, 800, 0.9721925854682922], "10": ["vertical_and_slash", 30, 800, 0.8961870670318604], "11": ["vertical_and_slash", 30, 800, 0.9606669545173645], "12": ["vertical_and_slash", 30, 800, 0.9913156032562256], "13": ["vertical_and_slash", 30, 800, 0.985747218132019], "14": ["vertical_and_slash", 30, 800, 0.9929512143135071], "15": ["vertical_and_slash", 100, 800, 0.9375], "16": ["vertical_and_slash", 1000, 6096, 0.6194612383842468], "17": ["vertical_and_slash", 1000, 6096, 0.9939616918563843], "18": ["vertical_and_slash", 1000, 6096, 0.9973123073577881], "19": ["vertical_and_slash", 1000, 6096, 0.5516155958175659], "20": ["vertical_and_slash", 100, 800, 0.97265625], "21": ["vertical_and_slash", 1000, 6096, 0.9808182120323181], "22": ["vertical_and_slash", 30, 800, 0.9840195178985596], "23": ["vertical_and_slash", 1000, 6096, 0.9757125973701477], "24": ["vertical_and_slash", 30, 800, 0.9877440929412842], "25": ["vertical_and_slash", 30, 800, 0.9822482466697693], "26": ["vertical_and_slash", 30, 800, 0.8953061103820801], "27": ["vertical_and_slash", 30, 800, 0.9795226454734802], "28": ["vertical_and_slash", 1000, 6096, 0.9304757118225098], "29": ["vertical_and_slash", 100, 800, 0.765625], "30": ["vertical_and_slash", 30, 800, 0.973455548286438], "31": ["vertical_and_slash", 30, 800, 0.9915329813957214]}, {"0": ["vertical_and_slash", 30, 800, 0.9787898063659668], "1": ["vertical_and_slash", 1000, 6096, 0.9787205457687378], "2": ["vertical_and_slash", 30, 800, 0.9839415550231934], "3": ["vertical_and_slash", 30, 800, 0.9879974722862244], "4": ["vertical_and_slash", 30, 800, 0.9873318076133728], "5": ["vertical_and_slash", 100, 800, 0.8203125], "6": ["vertical_and_slash", 30, 800, 0.9408391118049622], "7": ["vertical_and_slash", 100, 800, 0.80078125], "8": ["vertical_and_slash", 1000, 6096, 0.8980521559715271], "9": ["vertical_and_slash", 1000, 6096, 0.9289278984069824], "10": ["vertical_and_slash", 1000, 6096, 0.8854653239250183], "11": ["vertical_and_slash", 1000, 6096, 0.9555475115776062], "12": ["vertical_and_slash", 30, 800, 0.9772993326187134], "13": ["vertical_and_slash", 30, 800, 0.9894649386405945], "14": ["vertical_and_slash", 30, 800, 0.9916768074035645], "15": ["vertical_and_slash", 30, 800, 0.9852606654167175], "16": ["vertical_and_slash", 100, 800, 0.98828125], "17": ["vertical_and_slash", 1000, 6096, 0.9101518392562866], "18": ["vertical_and_slash", 1000, 6096, 0.9234060645103455], "19": ["vertical_and_slash", 30, 800, 0.935745120048523], "20": ["vertical_and_slash", 100, 800, 0.9765625], "21": ["vertical_and_slash", 1000, 6096, 0.9155886769294739], "22": ["vertical_and_slash", 100, 800, 0.85546875], "23": ["vertical_and_slash", 100, 800, 0.94921875], "24": ["vertical_and_slash", 1000, 6096, 0.9800405502319336], "25": ["vertical_and_slash", 30, 800, 0.9936150908470154], "26": ["vertical_and_slash", 30, 800, 0.9960456490516663], "27": ["vertical_and_slash", 1000, 6096, 0.9885473251342773], "28": ["vertical_and_slash", 30, 800, 0.9735875725746155], "29": ["vertical_and_slash", 30, 800, 0.9771297574043274], "30": ["vertical_and_slash", 30, 800, 0.979208767414093], "31": ["vertical_and_slash", 30, 800, 0.9677841663360596]}, {"0": ["vertical_and_slash", 30, 800, 0.9898972511291504], "1": ["vertical_and_slash", 30, 800, 0.9888962507247925], "2": ["vertical_and_slash", 100, 800, 0.8515625], "3": ["vertical_and_slash", 100, 800, 0.83203125], "4": ["vertical_and_slash", 30, 800, 0.9903795719146729], "5": ["vertical_and_slash", 30, 800, 0.9518011212348938], "6": ["vertical_and_slash", 100, 800, 0.91015625], "7": ["vertical_and_slash", 30, 800, 0.9933650493621826], "8": ["vertical_and_slash", 30, 800, 0.9954792857170105], "9": ["vertical_and_slash", 30, 800, 0.9556100368499756], "10": ["vertical_and_slash", 30, 800, 0.9929815530776978], "11": ["vertical_and_slash", 30, 800, 0.9911448359489441], "12": ["vertical_and_slash", 30, 800, 0.9894125461578369], "13": ["vertical_and_slash", 30, 800, 0.9900504946708679], "14": ["vertical_and_slash", 30, 800, 0.9373334050178528], "15": ["vertical_and_slash", 30, 800, 0.9928350448608398], "16": ["vertical_and_slash", 30, 800, 0.9924395084381104], "17": ["vertical_and_slash", 30, 800, 0.9719960689544678], "18": ["vertical_and_slash", 30, 800, 0.959073007106781], "19": ["vertical_and_slash", 30, 800, 0.9884441494941711], "20": ["vertical_and_slash", 100, 800, 0.921875], "21": ["vertical_and_slash", 1000, 6096, 0.6786824464797974], "22": ["vertical_and_slash", 100, 800, 0.91796875], "23": ["vertical_and_slash", 30, 800, 0.968828558921814], "24": ["vertical_and_slash", 100, 800, 0.78515625], "25": ["vertical_and_slash", 1000, 6096, 0.8599422574043274], "26": ["vertical_and_slash", 1000, 6096, 0.7635548710823059], "27": ["vertical_and_slash", 100, 800, 0.95703125], "28": ["vertical_and_slash", 100, 800, 0.6953125], "29": ["vertical_and_slash", 100, 800, 0.98046875], "30": ["vertical_and_slash", 100, 800, 1.0], "31": ["vertical_and_slash", 100, 800, 0.88671875]}, {"0": ["vertical_and_slash", 30, 800, 0.9594353437423706], "1": ["vertical_and_slash", 30, 800, 0.9896920323371887], "2": ["vertical_and_slash", 30, 800, 0.9922080039978027], "3": ["vertical_and_slash", 100, 800, 0.44140625], "4": ["vertical_and_slash", 30, 800, 0.9757390022277832], "5": ["vertical_and_slash", 30, 800, 0.9919450283050537], "6": ["vertical_and_slash", 1000, 6096, 0.8012803196907043], "7": ["vertical_and_slash", 1000, 6096, 0.820481538772583], "8": ["vertical_and_slash", 30, 800, 0.9347220659255981], "9": ["vertical_and_slash", 30, 800, 0.9701992273330688], "10": ["vertical_and_slash", 30, 800, 0.8196504712104797], "11": ["vertical_and_slash", 30, 800, 0.9785101413726807], "12": ["vertical_and_slash", 30, 800, 0.9739136695861816], "13": ["vertical_and_slash", 30, 800, 0.8736869692802429], "14": ["vertical_and_slash", 30, 800, 0.9743740558624268], "15": ["vertical_and_slash", 100, 800, 0.9375], "16": ["vertical_and_slash", 100, 800, 0.93359375], "17": ["vertical_and_slash", 30, 800, 0.9722828269004822], "18": ["vertical_and_slash", 100, 800, 0.94140625], "19": ["vertical_and_slash", 30, 800, 0.9577817320823669], "20": ["vertical_and_slash", 100, 800, 0.97265625], "21": ["vertical_and_slash", 3500, 100, 0.7349414825439453], "22": ["vertical_and_slash", 1000, 6096, 0.7663673162460327], "23": ["vertical_and_slash", 100, 800, 0.66796875], "24": ["vertical_and_slash", 100, 800, 0.94140625], "25": ["vertical_and_slash", 1000, 6096, 0.687431812286377], "26": ["vertical_and_slash", 100, 800, 0.84375], "27": ["vertical_and_slash", 100, 800, 0.9453125], "28": ["vertical_and_slash", 30, 800, 0.9529873728752136], "29": ["vertical_and_slash", 30, 800, 0.9674840569496155], "30": ["vertical_and_slash", 30, 800, 0.9221987128257751], "31": ["vertical_and_slash", 30, 800, 0.9387267231941223]}, {"0": ["vertical_and_slash", 1000, 6096, 0.9813447594642639], "1": ["vertical_and_slash", 1000, 6096, 0.7434703707695007], "2": ["vertical_and_slash", 100, 800, 0.8984375], "3": ["vertical_and_slash", 100, 800, 0.69921875], "4": ["vertical_and_slash", 30, 800, 0.9847737550735474], "5": ["vertical_and_slash", 1000, 6096, 0.9276951551437378], "6": ["vertical_and_slash", 30, 800, 0.9802067875862122], "7": ["vertical_and_slash", 100, 800, 0.94921875], "8": ["vertical_and_slash", 1000, 6096, 0.8924590945243835], "9": ["vertical_and_slash", 1000, 6096, 0.48737046122550964], "10": ["vertical_and_slash", 100, 800, 0.81640625], "11": ["vertical_and_slash", 1000, 6096, 0.5120941996574402], "12": ["vertical_and_slash", 100, 800, 0.94140625], "13": ["vertical_and_slash", 30, 800, 0.9506304860115051], "14": ["vertical_and_slash", 100, 800, 0.92578125], "15": ["vertical_and_slash", 100, 800, 0.9765625], "16": ["vertical_and_slash", 30, 800, 0.8123543858528137], "17": ["vertical_and_slash", 1000, 6096, 0.9536045789718628], "18": ["vertical_and_slash", 1000, 6096, 0.9222833514213562], "19": ["vertical_and_slash", 1000, 6096, 0.9397181272506714], "20": ["vertical_and_slash", 30, 800, 0.9818680286407471], "21": ["vertical_and_slash", 30, 800, 0.9743596911430359], "22": ["vertical_and_slash", 30, 800, 0.9852566123008728], "23": ["vertical_and_slash", 30, 800, 0.9250922799110413], "24": ["vertical_and_slash", 100, 800, 0.95703125], "25": ["vertical_and_slash", 100, 800, 0.9765625], "26": ["vertical_and_slash", 1000, 6096, 0.9655635356903076], "27": ["vertical_and_slash", 1000, 6096, 0.9585272669792175], "28": ["vertical_and_slash", 100, 800, 0.91796875], "29": ["vertical_and_slash", 1000, 6096, 0.8941929936408997], "30": ["vertical_and_slash", 1000, 6096, 0.9122419357299805], "31": ["vertical_and_slash", 1000, 6096, 0.8547379970550537]}, {"0": ["vertical_and_slash", 1000, 6096, 0.7614610195159912], "1": ["vertical_and_slash", 1000, 6096, 0.8187241554260254], "2": ["vertical_and_slash", 1000, 6096, 0.7961371541023254], "3": ["vertical_and_slash", 1000, 6096, 0.8252145648002625], "4": ["vertical_and_slash", 1000, 6096, 0.9270076155662537], "5": ["vertical_and_slash", 1000, 6096, 0.8690700531005859], "6": ["vertical_and_slash", 1000, 6096, 0.9444302320480347], "7": ["vertical_and_slash", 1000, 6096, 0.9755919575691223], "8": ["vertical_and_slash", 500, 700, 0.9716585874557495], "9": ["vertical_and_slash", 30, 800, 0.9762371778488159], "10": ["vertical_and_slash", 30, 800, 0.9724705219268799], "11": ["vertical_and_slash", 500, 700, 0.99483323097229], "12": ["vertical_and_slash", 100, 800, 0.67578125], "13": ["vertical_and_slash", 100, 800, 0.70703125], "14": ["vertical_and_slash", 100, 800, 0.796875], "15": ["vertical_and_slash", 1000, 6096, 0.8170258402824402], "16": ["vertical_and_slash", 100, 800, 0.90625], "17": ["vertical_and_slash", 3500, 100, 0.8228636980056763], "18": ["vertical_and_slash", 30, 800, 0.856238603591919], "19": ["vertical_and_slash", 100, 800, 0.7734375], "20": ["vertical_and_slash", 1000, 6096, 0.8687199354171753], "21": ["vertical_and_slash", 1000, 6096, 0.9029819965362549], "22": ["vertical_and_slash", 1000, 6096, 0.9524213075637817], "23": ["vertical_and_slash", 100, 800, 0.89453125], "24": ["vertical_and_slash", 500, 700, 0.9886078238487244], "25": ["vertical_and_slash", 1000, 6096, 0.7378285527229309], "26": ["vertical_and_slash", 100, 800, 0.9921875], "27": ["vertical_and_slash", 1000, 6096, 0.817205011844635], "28": ["vertical_and_slash", 1000, 6096, 0.6564486622810364], "29": ["vertical_and_slash", 1000, 6096, 0.8640334606170654], "30": ["vertical_and_slash", 100, 800, 0.953125], "31": ["vertical_and_slash", 1000, 6096, 0.6869896054267883]}, {"0": ["vertical_and_slash", 1000, 6096, 0.9531474113464355], "1": ["vertical_and_slash", 1000, 6096, 0.8817346096038818], "2": ["vertical_and_slash", 1000, 6096, 0.7733508348464966], "3": ["vertical_and_slash", 3500, 100, 0.5279473066329956], "4": ["vertical_and_slash", 500, 700, 0.9626384377479553], "5": ["vertical_and_slash", 1000, 6096, 0.8951384425163269], "6": ["vertical_and_slash", 1000, 6096, 0.7266367077827454], "7": ["vertical_and_slash", 1000, 6096, 0.7165513038635254], "8": ["vertical_and_slash", 100, 800, 0.89453125], "9": ["vertical_and_slash", 30, 800, 0.972051739692688], "10": ["vertical_and_slash", 30, 800, 0.86252760887146], "11": ["vertical_and_slash", 30, 800, 0.9809393882751465], "12": ["vertical_and_slash", 1000, 6096, 0.6574413776397705], "13": ["vertical_and_slash", 1000, 6096, 0.6483432054519653], "14": ["vertical_and_slash", 1000, 6096, 0.827599048614502], "15": ["vertical_and_slash", 30, 800, 0.9594753980636597], "16": ["vertical_and_slash", 500, 700, 0.9684355854988098], "17": ["vertical_and_slash", 100, 800, 0.82421875], "18": ["vertical_and_slash", 3500, 100, 0.7781898975372314], "19": ["vertical_and_slash", 1000, 6096, 0.6947312951087952], "20": ["vertical_and_slash", 500, 700, 0.9240661859512329], "21": ["vertical_and_slash", 500, 700, 0.8862026333808899], "22": ["vertical_and_slash", 500, 700, 0.9065015912055969], "23": ["vertical_and_slash", 500, 700, 0.9163179993629456], "24": ["vertical_and_slash", 1000, 6096, 0.8770501017570496], "25": ["vertical_and_slash", 100, 800, 0.92578125], "26": ["vertical_and_slash", 1000, 6096, 0.848781943321228], "27": ["vertical_and_slash", 100, 800, 0.94921875], "28": ["vertical_and_slash", 100, 800, 0.67578125], "29": ["vertical_and_slash", 100, 800, 0.84765625], "30": ["vertical_and_slash", 500, 700, 0.9309013485908508], "31": ["vertical_and_slash", 1000, 6096, 0.7004151940345764]}, {"0": ["vertical_and_slash", 1000, 6096, 0.9423537254333496], "1": ["vertical_and_slash", 1000, 6096, 0.8992472290992737], "2": ["vertical_and_slash", 1000, 6096, 0.88288414478302], "3": ["vertical_and_slash", 1000, 6096, 0.9055640697479248], "4": ["vertical_and_slash", 100, 800, 0.9765625], "5": ["vertical_and_slash", 100, 800, 0.58984375], "6": ["vertical_and_slash", 100, 800, 0.515625], "7": ["vertical_and_slash", 100, 800, 0.6328125], "8": ["vertical_and_slash", 100, 800, 0.91015625], "9": ["vertical_and_slash", 500, 700, 0.9147842526435852], "10": ["vertical_and_slash", 500, 700, 0.9749142527580261], "11": ["vertical_and_slash", 500, 700, 0.9328352808952332], "12": ["vertical_and_slash", 1000, 6096, 0.7294385433197021], "13": ["vertical_and_slash", 100, 800, 0.83984375], "14": ["vertical_and_slash", 100, 800, 0.88671875], "15": ["vertical_and_slash", 3500, 100, 0.8809608817100525], "16": ["vertical_and_slash", 500, 700, 0.9740177989006042], "17": ["vertical_and_slash", 500, 700, 0.9707237482070923], "18": ["vertical_and_slash", 500, 700, 0.7931056618690491], "19": ["vertical_and_slash", 500, 700, 0.9593538045883179], "20": ["vertical_and_slash", 100, 800, 0.734375], "21": ["vertical_and_slash", 100, 800, 0.921875], "22": ["vertical_and_slash", 1000, 6096, 0.627185583114624], "23": ["vertical_and_slash", 100, 800, 0.73828125], "24": ["vertical_and_slash", 500, 700, 0.8667991161346436], "25": ["vertical_and_slash", 500, 700, 0.9207716584205627], "26": ["vertical_and_slash", 500, 700, 0.87169349193573], "27": ["vertical_and_slash", 500, 700, 0.9095858931541443], "28": ["vertical_and_slash", 3500, 100, 0.7628918886184692], "29": ["vertical_and_slash", 3500, 100, 0.7131507396697998], "30": ["vertical_and_slash", 100, 800, 0.65625], "31": ["vertical_and_slash", 1000, 6096, 0.9907655715942383]}, {"0": ["vertical_and_slash", 500, 700, 0.9588789343833923], "1": ["vertical_and_slash", 1000, 6096, 0.8120258450508118], "2": ["vertical_and_slash", 500, 700, 0.9652808904647827], "3": ["vertical_and_slash", 100, 800, 0.96875], "4": ["vertical_and_slash", 100, 800, 0.953125], "5": ["vertical_and_slash", 100, 800, 0.94140625], "6": ["vertical_and_slash", 100, 800, 0.90234375], "7": ["vertical_and_slash", 100, 800, 0.94921875], "8": ["vertical_and_slash", 500, 700, 0.8896629214286804], "9": ["vertical_and_slash", 500, 700, 0.9433374404907227], "10": ["vertical_and_slash", 100, 800, 0.80078125], "11": ["vertical_and_slash", 100, 800, 0.921875], "12": ["vertical_and_slash", 500, 700, 0.9875270128250122], "13": ["vertical_and_slash", 500, 700, 0.9760839343070984], "14": ["vertical_and_slash", 100, 800, 0.6953125], "15": ["vertical_and_slash", 100, 800, 0.95703125], "16": ["vertical_and_slash", 500, 700, 0.9754391312599182], "17": ["vertical_and_slash", 3500, 100, 0.9772301316261292], "18": ["vertical_and_slash", 500, 700, 0.9719763994216919], "19": ["vertical_and_slash", 500, 700, 0.9928269386291504], "20": ["vertical_and_slash", 30, 800, 0.8755784034729004], "21": ["vertical_and_slash", 100, 800, 0.97265625], "22": ["vertical_and_slash", 500, 700, 0.9814659357070923], "23": ["vertical_and_slash", 1000, 6096, 0.9750019311904907], "24": ["vertical_and_slash", 500, 700, 0.9711320996284485], "25": ["vertical_and_slash", 500, 700, 0.9722046852111816], "26": ["vertical_and_slash", 500, 700, 0.9684996604919434], "27": ["vertical_and_slash", 500, 700, 0.9434762597084045], "28": ["vertical_and_slash", 500, 700, 0.9834445118904114], "29": ["vertical_and_slash", 100, 800, 0.9609375], "30": ["vertical_and_slash", 30, 800, 0.9223980903625488], "31": ["vertical_and_slash", 100, 800, 0.9609375]}, {"0": ["vertical_and_slash", 3500, 100, 0.6316103339195251], "1": ["vertical_and_slash", 100, 800, 0.796875], "2": ["vertical_and_slash", 1000, 6096, 0.6698543429374695], "3": ["vertical_and_slash", 1000, 6096, 0.6502960324287415], "4": ["vertical_and_slash", 1000, 6096, 0.9311055541038513], "5": ["vertical_and_slash", 1000, 6096, 0.899242639541626], "6": ["vertical_and_slash", 1000, 6096, 0.8542839884757996], "7": ["vertical_and_slash", 100, 800, 0.9609375], "8": ["vertical_and_slash", 1000, 6096, 0.6151388883590698], "9": ["vertical_and_slash", 100, 800, 0.8515625], "10": ["vertical_and_slash", 100, 800, 0.671875], "11": ["vertical_and_slash", 100, 800, 0.85546875], "12": ["vertical_and_slash", 100, 800, 0.8828125], "13": ["vertical_and_slash", 100, 800, 0.8828125], "14": ["vertical_and_slash", 100, 800, 0.88671875], "15": ["vertical_and_slash", 100, 800, 0.91015625], "16": ["vertical_and_slash", 1000, 6096, 0.6039607524871826], "17": ["vertical_and_slash", 3500, 100, 0.6183164715766907], "18": ["vertical_and_slash", 3500, 100, 0.760739803314209], "19": ["vertical_and_slash", 100, 800, 0.59375], "20": ["vertical_and_slash", 3500, 100, 0.8643622994422913], "21": ["vertical_and_slash", 3500, 100, 0.90613853931427], "22": ["vertical_and_slash", 100, 800, 0.9453125], "23": ["vertical_and_slash", 3500, 100, 0.885551393032074], "24": ["vertical_and_slash", 100, 800, 0.9609375], "25": ["vertical_and_slash", 100, 800, 0.90625], "26": ["vertical_and_slash", 100, 800, 0.69921875], "27": ["vertical_and_slash", 100, 800, 0.53125], "28": ["vertical_and_slash", 30, 800, 0.8135810494422913], "29": ["vertical_and_slash", 500, 700, 0.9743149280548096], "30": ["vertical_and_slash", 1000, 6096, 0.7735022306442261], "31": ["vertical_and_slash", 1000, 6096, 0.6747613549232483]}, {"0": ["vertical_and_slash", 3500, 100, 0.9415304660797119], "1": ["vertical_and_slash", 100, 800, 0.95703125], "2": ["vertical_and_slash", 100, 800, 0.96484375], "3": ["vertical_and_slash", 3500, 100, 0.9686872363090515], "4": ["vertical_and_slash", 100, 800, 0.91015625], "5": ["vertical_and_slash", 3500, 100, 0.9223687648773193], "6": ["vertical_and_slash", 100, 800, 0.953125], "7": ["vertical_and_slash", 500, 700, 0.9196726679801941], "8": ["vertical_and_slash", 500, 700, 0.9857269525527954], "9": ["vertical_and_slash", 500, 700, 0.9771939516067505], "10": ["vertical_and_slash", 500, 700, 0.969268262386322], "11": ["vertical_and_slash", 500, 700, 0.9814961552619934], "12": ["vertical_and_slash", 100, 800, 0.80078125], "13": ["vertical_and_slash", 1000, 6096, 0.7912960052490234], "14": ["vertical_and_slash", 100, 800, 0.80078125], "15": ["vertical_and_slash", 100, 800, 0.94140625], "16": ["vertical_and_slash", 100, 800, 0.6875], "17": ["vertical_and_slash", 100, 800, 0.90625], "18": ["vertical_and_slash", 100, 800, 0.88671875], "19": ["vertical_and_slash", 1000, 6096, 0.858091413974762], "20": ["vertical_and_slash", 1000, 6096, 0.8563435673713684], "21": ["vertical_and_slash", 100, 800, 0.9453125], "22": ["vertical_and_slash", 100, 800, 0.87109375], "23": ["vertical_and_slash", 100, 800, 0.9453125], "24": ["vertical_and_slash", 1000, 6096, 0.9440521001815796], "25": ["vertical_and_slash", 1000, 6096, 0.97614985704422], "26": ["vertical_and_slash", 30, 800, 0.9994377493858337], "27": ["vertical_and_slash", 100, 800, 0.91796875], "28": ["vertical_and_slash", 100, 800, 0.87890625], "29": ["vertical_and_slash", 1000, 6096, 0.8056965470314026], "30": ["vertical_and_slash", 1000, 6096, 0.891052782535553], "31": ["vertical_and_slash", 1000, 6096, 0.9028414487838745]}, {"0": ["vertical_and_slash", 30, 800, 0.9854811429977417], "1": ["vertical_and_slash", 1000, 6096, 0.6822168231010437], "2": ["vertical_and_slash", 1000, 6096, 0.6856634616851807], "3": ["vertical_and_slash", 3500, 100, 0.9271772503852844], "4": ["vertical_and_slash", 100, 800, 0.93359375], "5": ["vertical_and_slash", 1000, 6096, 0.7962403297424316], "6": ["vertical_and_slash", 500, 700, 0.9195069074630737], "7": ["vertical_and_slash", 500, 700, 0.9743179082870483], "8": ["vertical_and_slash", 500, 700, 0.9383020401000977], "9": ["vertical_and_slash", 500, 700, 0.8858011364936829], "10": ["vertical_and_slash", 100, 800, 0.79296875], "11": ["vertical_and_slash", 100, 800, 0.8203125], "12": ["vertical_and_slash", 500, 700, 0.9806155562400818], "13": ["vertical_and_slash", 100, 800, 0.9453125], "14": ["vertical_and_slash", 100, 800, 0.97265625], "15": ["vertical_and_slash", 100, 800, 0.9296875], "16": ["vertical_and_slash", 100, 800, 0.7890625], "17": ["vertical_and_slash", 1000, 6096, 0.48270800709724426], "18": ["vertical_and_slash", 1000, 6096, 0.5019736289978027], "19": ["vertical_and_slash", 100, 800, 0.91015625], "20": ["vertical_and_slash", 100, 800, 0.90625], "21": ["vertical_and_slash", 100, 800, 0.75], "22": ["vertical_and_slash", 100, 800, 0.921875], "23": ["vertical_and_slash", 100, 800, 0.89453125], "24": ["vertical_and_slash", 100, 800, 0.84765625], "25": ["vertical_and_slash", 100, 800, 0.71875], "26": ["vertical_and_slash", 100, 800, 0.87890625], "27": ["vertical_and_slash", 100, 800, 0.8984375], "28": ["vertical_and_slash", 1000, 6096, 0.6697965264320374], "29": ["vertical_and_slash", 1000, 6096, 0.6754442453384399], "30": ["vertical_and_slash", 1000, 6096, 0.89468914270401], "31": ["vertical_and_slash", 30, 800, 0.9896609783172607]}, {"0": ["vertical_and_slash", 3500, 100, 0.8044015765190125], "1": ["vertical_and_slash", 1000, 6096, 0.8649858832359314], "2": ["vertical_and_slash", 100, 800, 0.84765625], "3": ["vertical_and_slash", 1000, 6096, 0.9512100219726562], "4": ["vertical_and_slash", 3500, 100, 0.9771698713302612], "5": ["vertical_and_slash", 1000, 6096, 0.8880830407142639], "6": ["vertical_and_slash", 3500, 100, 0.9925544857978821], "7": ["vertical_and_slash", 1000, 6096, 0.9684502482414246], "8": ["vertical_and_slash", 3500, 100, 0.8654065728187561], "9": ["vertical_and_slash", 1000, 6096, 0.9729434847831726], "10": ["vertical_and_slash", 3500, 100, 0.9787231087684631], "11": ["vertical_and_slash", 100, 800, 0.9765625], "12": ["vertical_and_slash", 500, 700, 0.9800076484680176], "13": ["vertical_and_slash", 500, 700, 0.9781122803688049], "14": ["vertical_and_slash", 500, 700, 0.980514407157898], "15": ["vertical_and_slash", 500, 700, 0.9572811126708984], "16": ["vertical_and_slash", 100, 800, 0.8359375], "17": ["vertical_and_slash", 500, 700, 0.961165189743042], "18": ["vertical_and_slash", 3500, 100, 0.9327417612075806], "19": ["vertical_and_slash", 100, 800, 0.921875], "20": ["vertical_and_slash", 1000, 6096, 0.9528481364250183], "21": ["vertical_and_slash", 100, 800, 0.90625], "22": ["vertical_and_slash", 100, 800, 0.9921875], "23": ["vertical_and_slash", 1000, 6096, 0.9193229675292969], "24": ["vertical_and_slash", 100, 800, 0.97265625], "25": ["vertical_and_slash", 100, 800, 0.83984375], "26": ["vertical_and_slash", 100, 800, 0.96484375], "27": ["vertical_and_slash", 3500, 100, 0.9813305139541626], "28": ["vertical_and_slash", 500, 700, 0.9507763385772705], "29": ["vertical_and_slash", 500, 700, 0.9917595982551575], "30": ["vertical_and_slash", 30, 800, 0.9635836482048035], "31": ["vertical_and_slash", 500, 700, 0.9638065099716187]}, {"0": ["vertical_and_slash", 500, 700, 0.9572822451591492], "1": ["vertical_and_slash", 500, 700, 0.9417194724082947], "2": ["vertical_and_slash", 100, 800, 0.8984375], "3": ["vertical_and_slash", 500, 700, 0.9779292941093445], "4": ["vertical_and_slash", 500, 700, 0.9675058126449585], "5": ["vertical_and_slash", 500, 700, 0.9766573309898376], "6": ["vertical_and_slash", 100, 800, 0.84765625], "7": ["vertical_and_slash", 500, 700, 0.9693805575370789], "8": ["vertical_and_slash", 1000, 6096, 0.6297406554222107], "9": ["vertical_and_slash", 100, 800, 0.859375], "10": ["vertical_and_slash", 3500, 100, 0.8125107884407043], "11": ["vertical_and_slash", 500, 700, 0.9787761569023132], "12": ["vertical_and_slash", 500, 700, 0.9456966519355774], "13": ["vertical_and_slash", 3500, 100, 0.9644347429275513], "14": ["vertical_and_slash", 100, 800, 0.921875], "15": ["vertical_and_slash", 1000, 6096, 0.9385132789611816], "16": ["vertical_and_slash", 1000, 6096, 0.9825614094734192], "17": ["vertical_and_slash", 1000, 6096, 0.995094895362854], "18": ["vertical_and_slash", 1000, 6096, 0.9585238099098206], "19": ["vertical_and_slash", 1000, 6096, 0.9814403057098389], "20": ["vertical_and_slash", 500, 700, 0.9920734167098999], "21": ["vertical_and_slash", 1000, 6096, 0.9164177775382996], "22": ["vertical_and_slash", 100, 800, 0.9375], "23": ["vertical_and_slash", 100, 800, 0.93359375], "24": ["vertical_and_slash", 100, 800, 0.8828125], "25": ["vertical_and_slash", 100, 800, 0.86328125], "26": ["vertical_and_slash", 3500, 100, 0.9445839524269104], "27": ["vertical_and_slash", 100, 800, 0.8515625], "28": ["vertical_and_slash", 1000, 6096, 0.9946870803833008], "29": ["vertical_and_slash", 1000, 6096, 0.980959415435791], "30": ["vertical_and_slash", 500, 700, 0.994160532951355], "31": ["vertical_and_slash", 3500, 100, 0.9895169138908386]}, {"0": ["vertical_and_slash", 3500, 100, 0.9912729263305664], "1": ["vertical_and_slash", 100, 800, 0.96484375], "2": ["vertical_and_slash", 3500, 100, 0.9686254858970642], "3": ["vertical_and_slash", 100, 800, 0.95703125], "4": ["vertical_and_slash", 3500, 100, 0.9111233353614807], "5": ["vertical_and_slash", 100, 800, 0.93359375], "6": ["vertical_and_slash", 3500, 100, 0.9810769557952881], "7": ["vertical_and_slash", 500, 700, 0.98154217004776], "8": ["vertical_and_slash", 3500, 100, 0.973520815372467], "9": ["vertical_and_slash", 3500, 100, 0.9850409030914307], "10": ["vertical_and_slash", 500, 700, 0.971245527267456], "11": ["vertical_and_slash", 500, 700, 0.9817143082618713], "12": ["vertical_and_slash", 100, 800, 0.9921875], "13": ["vertical_and_slash", 500, 700, 0.9767857193946838], "14": ["vertical_and_slash", 100, 800, 0.9296875], "15": ["vertical_and_slash", 500, 700, 0.9780569076538086], "16": ["vertical_and_slash", 100, 800, 0.94140625], "17": ["vertical_and_slash", 100, 800, 0.953125], "18": ["vertical_and_slash", 1000, 6096, 0.9731783270835876], "19": ["vertical_and_slash", 1000, 6096, 0.9841699004173279], "20": ["vertical_and_slash", 3500, 100, 0.7990682125091553], "21": ["vertical_and_slash", 100, 800, 0.96875], "22": ["vertical_and_slash", 100, 800, 0.86328125], "23": ["vertical_and_slash", 100, 800, 0.9296875], "24": ["vertical_and_slash", 1000, 6096, 0.9868585467338562], "25": ["vertical_and_slash", 100, 800, 0.9921875], "26": ["vertical_and_slash", 500, 700, 0.9919374585151672], "27": ["vertical_and_slash", 100, 800, 0.98828125], "28": ["vertical_and_slash", 100, 800, 0.890625], "29": ["vertical_and_slash", 100, 800, 0.91015625], "30": ["vertical_and_slash", 100, 800, 0.875], "31": ["vertical_and_slash", 100, 800, 0.90625]}, {"0": ["vertical_and_slash", 100, 800, 0.56640625], "1": ["vertical_and_slash", 100, 800, 0.90234375], "2": ["vertical_and_slash", 1000, 6096, 0.89035964012146], "3": ["vertical_and_slash", 1000, 6096, 0.9361557960510254], "4": ["vertical_and_slash", 1000, 6096, 0.9623773694038391], "5": ["vertical_and_slash", 1000, 6096, 0.9804529547691345], "6": ["vertical_and_slash", 1000, 6096, 0.9724429845809937], "7": ["vertical_and_slash", 1000, 6096, 0.9953715205192566], "8": ["vertical_and_slash", 500, 700, 0.9900636076927185], "9": ["vertical_and_slash", 100, 800, 0.8671875], "10": ["vertical_and_slash", 500, 700, 0.9860572814941406], "11": ["vertical_and_slash", 30, 800, 0.9200822710990906], "12": ["vertical_and_slash", 100, 800, 0.7890625], "13": ["vertical_and_slash", 100, 800, 0.71875], "14": ["vertical_and_slash", 100, 800, 0.88671875], "15": ["vertical_and_slash", 3500, 100, 0.8809337615966797], "16": ["vertical_and_slash", 100, 800, 0.9609375], "17": ["vertical_and_slash", 500, 700, 0.977523684501648], "18": ["vertical_and_slash", 500, 700, 0.9648466110229492], "19": ["vertical_and_slash", 100, 800, 0.92578125], "20": ["vertical_and_slash", 100, 800, 0.8984375], "21": ["vertical_and_slash", 100, 800, 0.98046875], "22": ["vertical_and_slash", 100, 800, 0.94921875], "23": ["vertical_and_slash", 100, 800, 0.890625], "24": ["vertical_and_slash", 500, 700, 0.9612880349159241], "25": ["vertical_and_slash", 100, 800, 0.96875], "26": ["vertical_and_slash", 1000, 6096, 0.9904219508171082], "27": ["vertical_and_slash", 100, 800, 0.98046875], "28": ["vertical_and_slash", 500, 700, 0.9728029370307922], "29": ["vertical_and_slash", 500, 700, 0.9610400795936584], "30": ["vertical_and_slash", 500, 700, 0.9590328335762024], "31": ["vertical_and_slash", 500, 700, 0.9732471108436584]}, {"0": ["vertical_and_slash", 100, 800, 0.8359375], "1": ["vertical_and_slash", 100, 800, 0.81640625], "2": ["vertical_and_slash", 100, 800, 0.6640625], "3": ["vertical_and_slash", 100, 800, 0.953125], "4": ["vertical_and_slash", 500, 700, 0.9603883624076843], "5": ["vertical_and_slash", 1000, 6096, 0.9699860215187073], "6": ["vertical_and_slash", 1000, 6096, 0.9892503023147583], "7": ["vertical_and_slash", 1000, 6096, 0.9920991659164429], "8": ["vertical_and_slash", 500, 700, 0.9887894988059998], "9": ["vertical_and_slash", 100, 800, 0.9609375], "10": ["vertical_and_slash", 100, 800, 0.98046875], "11": ["vertical_and_slash", 100, 800, 0.8515625], "12": ["vertical_and_slash", 100, 800, 0.84765625], "13": ["vertical_and_slash", 3500, 100, 0.9337024688720703], "14": ["vertical_and_slash", 100, 800, 0.88671875], "15": ["vertical_and_slash", 100, 800, 0.91015625], "16": ["vertical_and_slash", 1000, 6096, 0.9892725348472595], "17": ["vertical_and_slash", 1000, 6096, 0.9876350164413452], "18": ["vertical_and_slash", 1000, 6096, 0.9888733625411987], "19": ["vertical_and_slash", 1000, 6096, 0.9845653176307678], "20": ["vertical_and_slash", 1000, 6096, 0.9609242677688599], "21": ["vertical_and_slash", 100, 800, 0.98828125], "22": ["vertical_and_slash", 500, 700, 0.9696791172027588], "23": ["vertical_and_slash", 3500, 100, 0.8103806376457214], "24": ["vertical_and_slash", 1000, 6096, 0.9616240859031677], "25": ["vertical_and_slash", 100, 800, 0.87890625], "26": ["vertical_and_slash", 1000, 6096, 0.9824818968772888], "27": ["vertical_and_slash", 100, 800, 0.94140625], "28": ["vertical_and_slash", 500, 700, 0.996360719203949], "29": ["vertical_and_slash", 100, 800, 0.99609375], "30": ["vertical_and_slash", 100, 800, 0.9921875], "31": ["vertical_and_slash", 100, 800, 0.98828125]}, {"0": ["vertical_and_slash", 100, 800, 0.99609375], "1": ["vertical_and_slash", 100, 800, 0.93359375], "2": ["vertical_and_slash", 100, 800, 0.83203125], "3": ["vertical_and_slash", 100, 800, 0.734375], "4": ["vertical_and_slash", 30, 800, 0.9953799247741699], "5": ["vertical_and_slash", 500, 700, 0.9949384927749634], "6": ["vertical_and_slash", 500, 700, 0.987656831741333], "7": ["vertical_and_slash", 30, 800, 0.9914078116416931], "8": ["vertical_and_slash", 100, 800, 0.92578125], "9": ["vertical_and_slash", 500, 700, 0.9965551495552063], "10": ["vertical_and_slash", 500, 700, 0.9983668327331543], "11": ["vertical_and_slash", 1000, 6096, 0.9965943098068237], "12": ["vertical_and_slash", 3500, 100, 0.9983046054840088], "13": ["vertical_and_slash", 3500, 100, 0.9971177577972412], "14": ["vertical_and_slash", 3500, 100, 0.9972085356712341], "15": ["vertical_and_slash", 100, 800, 1.0], "16": ["vertical_and_slash", 100, 800, 0.99609375], "17": ["vertical_and_slash", 500, 700, 0.9965201616287231], "18": ["vertical_and_slash", 100, 800, 0.9765625], "19": ["vertical_and_slash", 500, 700, 0.9975128173828125], "20": ["vertical_and_slash", 1000, 6096, 0.9829357862472534], "21": ["vertical_and_slash", 100, 800, 0.93359375], "22": ["vertical_and_slash", 3500, 100, 0.9525547623634338], "23": ["vertical_and_slash", 3500, 100, 0.9518142342567444], "24": ["vertical_and_slash", 3500, 100, 0.9944693446159363], "25": ["vertical_and_slash", 100, 800, 0.98828125], "26": ["vertical_and_slash", 3500, 100, 0.9936266541481018], "27": ["vertical_and_slash", 100, 800, 0.98046875], "28": ["vertical_and_slash", 1000, 6096, 0.9858771562576294], "29": ["vertical_and_slash", 3500, 100, 0.9896631836891174], "30": ["vertical_and_slash", 3500, 100, 0.9762122631072998], "31": ["vertical_and_slash", 3500, 100, 0.9886800646781921]}, {"0": ["vertical_and_slash", 3500, 100, 0.9691346883773804], "1": ["vertical_and_slash", 3500, 100, 0.9351215362548828], "2": ["vertical_and_slash", 3500, 100, 0.9609357118606567], "3": ["vertical_and_slash", 100, 800, 0.97265625], "4": ["vertical_and_slash", 100, 800, 0.94140625], "5": ["vertical_and_slash", 500, 700, 0.9768573641777039], "6": ["vertical_and_slash", 3500, 100, 0.9625533819198608], "7": ["vertical_and_slash", 3500, 100, 0.9791122078895569], "8": ["vertical_and_slash", 100, 800, 0.98828125], "9": ["vertical_and_slash", 100, 800, 0.9765625], "10": ["vertical_and_slash", 100, 800, 0.99609375], "11": ["vertical_and_slash", 100, 800, 0.984375], "12": ["vertical_and_slash", 1000, 6096, 0.8757453560829163], "13": ["vertical_and_slash", 100, 800, 0.78515625], "14": ["vertical_and_slash", 100, 800, 0.83984375], "15": ["vertical_and_slash", 100, 800, 0.8359375], "16": ["vertical_and_slash", 500, 700, 0.9865701794624329], "17": ["vertical_and_slash", 500, 700, 0.9824267029762268], "18": ["vertical_and_slash", 500, 700, 0.9177895188331604], "19": ["vertical_and_slash", 500, 700, 0.9836146831512451], "20": ["vertical_and_slash", 500, 700, 0.971502423286438], "21": ["vertical_and_slash", 500, 700, 0.9808719158172607], "22": ["vertical_and_slash", 500, 700, 0.9893147945404053], "23": ["vertical_and_slash", 100, 800, 0.99609375], "24": ["vertical_and_slash", 100, 800, 0.97265625], "25": ["vertical_and_slash", 500, 700, 0.9651071429252625], "26": ["vertical_and_slash", 100, 800, 0.94921875], "27": ["vertical_and_slash", 500, 700, 0.9888646602630615], "28": ["vertical_and_slash", 3500, 100, 0.9266110062599182], "29": ["vertical_and_slash", 100, 800, 0.9140625], "30": ["vertical_and_slash", 100, 800, 0.890625], "31": ["vertical_and_slash", 3500, 100, 0.9608930945396423]}, {"0": ["vertical_and_slash", 100, 800, 0.97265625], "1": ["vertical_and_slash", 100, 800, 0.98828125], "2": ["vertical_and_slash", 100, 800, 0.98046875], "3": ["vertical_and_slash", 100, 800, 0.98046875], "4": ["vertical_and_slash", 3500, 100, 0.9496995806694031], "5": ["vertical_and_slash", 3500, 100, 0.9672608375549316], "6": ["vertical_and_slash", 3500, 100, 0.968944251537323], "7": ["vertical_and_slash", 100, 800, 0.9453125], "8": ["vertical_and_slash", 100, 800, 0.99609375], "9": ["vertical_and_slash", 100, 800, 0.99609375], "10": ["vertical_and_slash", 3500, 100, 0.9927955269813538], "11": ["vertical_and_slash", 3500, 100, 0.9970442056655884], "12": ["vertical_and_slash", 3500, 100, 0.986923098564148], "13": ["vertical_and_slash", 3500, 100, 0.7216698527336121], "14": ["vertical_and_slash", 3500, 100, 0.8158459663391113], "15": ["vertical_and_slash", 100, 800, 0.8515625], "16": ["vertical_and_slash", 500, 700, 0.997530996799469], "17": ["vertical_and_slash", 100, 800, 0.99609375], "18": ["vertical_and_slash", 100, 800, 0.98046875], "19": ["vertical_and_slash", 500, 700, 0.9970376491546631], "20": ["vertical_and_slash", 3500, 100, 0.9760066270828247], "21": ["vertical_and_slash", 3500, 100, 0.9728747010231018], "22": ["vertical_and_slash", 3500, 100, 0.9766891598701477], "23": ["vertical_and_slash", 3500, 100, 0.9976004362106323], "24": ["vertical_and_slash", 100, 800, 0.96484375], "25": ["vertical_and_slash", 100, 800, 0.96484375], "26": ["vertical_and_slash", 3500, 100, 0.9983320236206055], "27": ["vertical_and_slash", 3500, 100, 0.9873730540275574], "28": ["vertical_and_slash", 500, 700, 0.9973207116127014], "29": ["vertical_and_slash", 500, 700, 0.9969824552536011], "30": ["vertical_and_slash", 500, 700, 0.9982982277870178], "31": ["vertical_and_slash", 500, 700, 0.9983280301094055]}, {"0": ["vertical_and_slash", 100, 800, 0.9921875], "1": ["vertical_and_slash", 3500, 100, 0.9938210844993591], "2": ["vertical_and_slash", 100, 800, 0.98828125], "3": ["vertical_and_slash", 3500, 100, 0.9968554973602295], "4": ["vertical_and_slash", 1000, 6096, 0.9928692579269409], "5": ["vertical_and_slash", 3500, 100, 0.9889399409294128], "6": ["vertical_and_slash", 3500, 100, 0.9934308528900146], "7": ["vertical_and_slash", 3500, 100, 0.9926333427429199], "8": ["vertical_and_slash", 500, 700, 0.9881335496902466], "9": ["vertical_and_slash", 30, 800, 0.9847679734230042], "10": ["vertical_and_slash", 30, 800, 0.9852355122566223], "11": ["vertical_and_slash", 500, 700, 0.9858385920524597], "12": ["vertical_and_slash", 100, 800, 0.984375], "13": ["vertical_and_slash", 100, 800, 0.98828125], "14": ["vertical_and_slash", 30, 800, 0.876174807548523], "15": ["vertical_and_slash", 500, 700, 0.9925132393836975], "16": ["vertical_and_slash", 3500, 100, 0.980747640132904], "17": ["vertical_and_slash", 3500, 100, 0.9824157953262329], "18": ["vertical_and_slash", 3500, 100, 0.9821085333824158], "19": ["vertical_and_slash", 3500, 100, 0.9562081694602966], "20": ["vertical_and_slash", 1000, 6096, 0.9850624799728394], "21": ["vertical_and_slash", 3500, 100, 0.9780853390693665], "22": ["vertical_and_slash", 3500, 100, 0.9799768924713135], "23": ["vertical_and_slash", 3500, 100, 0.9772357940673828], "24": ["vertical_and_slash", 3500, 100, 0.9548801183700562], "25": ["vertical_and_slash", 3500, 100, 0.9809179306030273], "26": ["vertical_and_slash", 100, 800, 0.96484375], "27": ["vertical_and_slash", 100, 800, 0.96875], "28": ["vertical_and_slash", 3500, 100, 0.9743281602859497], "29": ["vertical_and_slash", 500, 700, 0.9775781631469727], "30": ["vertical_and_slash", 500, 700, 0.9927409291267395], "31": ["vertical_and_slash", 3500, 100, 0.992667555809021]}, {"0": ["vertical_and_slash", 3500, 100, 0.9837089776992798], "1": ["vertical_and_slash", 100, 800, 0.96484375], "2": ["vertical_and_slash", 3500, 100, 0.990432858467102], "3": ["vertical_and_slash", 3500, 100, 0.9577094912528992], "4": ["vertical_and_slash", 3500, 100, 0.9878129363059998], "5": ["vertical_and_slash", 1000, 6096, 0.9842414855957031], "6": ["vertical_and_slash", 3500, 100, 0.9822033047676086], "7": ["vertical_and_slash", 3500, 100, 0.9838908910751343], "8": ["vertical_and_slash", 100, 800, 0.9921875], "9": ["vertical_and_slash", 500, 700, 0.9924842715263367], "10": ["vertical_and_slash", 100, 800, 0.98828125], "11": ["vertical_and_slash", 100, 800, 0.99609375], "12": ["vertical_and_slash", 3500, 100, 0.983744740486145], "13": ["vertical_and_slash", 1000, 6096, 0.9854903817176819], "14": ["vertical_and_slash", 1000, 6096, 0.9890750050544739], "15": ["vertical_and_slash", 1000, 6096, 0.9871489405632019], "16": ["vertical_and_slash", 100, 800, 0.98828125], "17": ["vertical_and_slash", 100, 800, 0.99609375], "18": ["vertical_and_slash", 3500, 100, 0.9934486150741577], "19": ["vertical_and_slash", 1000, 6096, 0.9904783368110657], "20": ["vertical_and_slash", 30, 800, 0.9985806345939636], "21": ["vertical_and_slash", 30, 800, 0.9482468962669373], "22": ["vertical_and_slash", 30, 800, 0.9973258972167969], "23": ["vertical_and_slash", 30, 800, 0.9980663657188416], "24": ["vertical_and_slash", 500, 700, 0.9974254369735718], "25": ["vertical_and_slash", 100, 800, 0.99609375], "26": ["vertical_and_slash", 500, 700, 0.988605260848999], "27": ["vertical_and_slash", 100, 800, 0.98046875], "28": ["vertical_and_slash", 500, 700, 0.9811033010482788], "29": ["vertical_and_slash", 500, 700, 0.9804574847221375], "30": ["vertical_and_slash", 500, 700, 0.9865885376930237], "31": ["vertical_and_slash", 500, 700, 0.9892045259475708]}, {"0": ["vertical_and_slash", 100, 800, 0.69140625], "1": ["vertical_and_slash", 100, 800, 0.97265625], "2": ["vertical_and_slash", 100, 800, 0.62890625], "3": ["vertical_and_slash", 100, 800, 0.8828125], "4": ["vertical_and_slash", 100, 800, 0.95703125], "5": ["vertical_and_slash", 100, 800, 0.96875], "6": ["vertical_and_slash", 3500, 100, 0.9835638403892517], "7": ["vertical_and_slash", 3500, 100, 0.9768636226654053], "8": ["vertical_and_slash", 100, 800, 0.875], "9": ["vertical_and_slash", 500, 700, 0.9736713171005249], "10": ["vertical_and_slash", 3500, 100, 0.9867293238639832], "11": ["vertical_and_slash", 100, 800, 0.953125], "12": ["vertical_and_slash", 1000, 6096, 0.9799107909202576], "13": ["vertical_and_slash", 1000, 6096, 0.956547737121582], "14": ["vertical_and_slash", 1000, 6096, 0.9830597639083862], "15": ["vertical_and_slash", 1000, 6096, 0.9786513447761536], "16": ["vertical_and_slash", 1000, 6096, 0.9893789887428284], "17": ["vertical_and_slash", 100, 800, 0.984375], "18": ["vertical_and_slash", 1000, 6096, 0.9834024906158447], "19": ["vertical_and_slash", 3500, 100, 0.9586296081542969], "20": ["vertical_and_slash", 30, 800, 0.9566952586174011], "21": ["vertical_and_slash", 100, 800, 0.96484375], "22": ["vertical_and_slash", 30, 800, 0.9579682350158691], "23": ["vertical_and_slash", 100, 800, 0.97265625], "24": ["vertical_and_slash", 100, 800, 1.0], "25": ["vertical_and_slash", 500, 700, 0.9973883032798767], "26": ["vertical_and_slash", 100, 800, 1.0], "27": ["vertical_and_slash", 3500, 100, 0.9958353638648987], "28": ["vertical_and_slash", 100, 800, 0.92578125], "29": ["vertical_and_slash", 3500, 100, 0.9647402763366699], "30": ["vertical_and_slash", 100, 800, 0.9921875], "31": ["vertical_and_slash", 3500, 100, 0.9853026866912842]}, {"0": ["vertical_and_slash", 500, 700, 0.9965609312057495], "1": ["vertical_and_slash", 100, 800, 0.99609375], "2": ["vertical_and_slash", 100, 800, 0.99609375], "3": ["vertical_and_slash", 500, 700, 0.993408739566803], "4": ["vertical_and_slash", 1000, 6096, 0.9861562848091125], "5": ["vertical_and_slash", 1000, 6096, 0.9630166292190552], "6": ["vertical_and_slash", 1000, 6096, 0.9752892851829529], "7": ["vertical_and_slash", 1000, 6096, 0.9612733125686646], "8": ["vertical_and_slash", 100, 800, 0.98828125], "9": ["vertical_and_slash", 500, 700, 0.996844470500946], "10": ["vertical_and_slash", 100, 800, 0.99609375], "11": ["vertical_and_slash", 30, 800, 0.98490971326828], "12": ["vertical_and_slash", 3500, 100, 0.9845942854881287], "13": ["vertical_and_slash", 3500, 100, 0.9553945064544678], "14": ["vertical_and_slash", 500, 700, 0.9797781109809875], "15": ["vertical_and_slash", 500, 700, 0.9618297815322876], "16": ["vertical_and_slash", 3500, 100, 0.9837275147438049], "17": ["vertical_and_slash", 500, 700, 0.9883895516395569], "18": ["vertical_and_slash", 100, 800, 0.99609375], "19": ["vertical_and_slash", 3500, 100, 0.9968678951263428], "20": ["vertical_and_slash", 1000, 6096, 0.971379280090332], "21": ["vertical_and_slash", 1000, 6096, 0.9435017704963684], "22": ["vertical_and_slash", 1000, 6096, 0.9786460995674133], "23": ["vertical_and_slash", 1000, 6096, 0.9788541793823242], "24": ["vertical_and_slash", 500, 700, 0.9358993768692017], "25": ["vertical_and_slash", 30, 800, 0.9740927815437317], "26": ["vertical_and_slash", 500, 700, 0.9939063787460327], "27": ["vertical_and_slash", 500, 700, 0.9889722466468811], "28": ["vertical_and_slash", 100, 800, 0.6171875], "29": ["vertical_and_slash", 30, 800, 0.9943872094154358], "30": ["vertical_and_slash", 100, 800, 0.88671875], "31": ["vertical_and_slash", 100, 800, 0.9140625]}, {"0": ["vertical_and_slash", 100, 800, 0.96875], "1": ["vertical_and_slash", 100, 800, 0.99609375], "2": ["vertical_and_slash", 100, 800, 0.9765625], "3": ["vertical_and_slash", 100, 800, 0.9453125], "4": ["vertical_and_slash", 30, 800, 0.9959031939506531], "5": ["vertical_and_slash", 30, 800, 0.9976523518562317], "6": ["vertical_and_slash", 30, 800, 0.981220543384552], "7": ["vertical_and_slash", 30, 800, 0.996821939945221], "8": ["vertical_and_slash", 100, 800, 0.94140625], "9": ["vertical_and_slash", 100, 800, 0.99609375], "10": ["vertical_and_slash", 100, 800, 0.953125], "11": ["vertical_and_slash", 30, 800, 0.9451431632041931], "12": ["vertical_and_slash", 1000, 6096, 0.9946032166481018], "13": ["vertical_and_slash", 3500, 100, 0.9859157204627991], "14": ["vertical_and_slash", 1000, 6096, 0.986793577671051], "15": ["vertical_and_slash", 100, 800, 0.98046875], "16": ["vertical_and_slash", 3500, 100, 0.9806498885154724], "17": ["vertical_and_slash", 100, 800, 0.84765625], "18": ["vertical_and_slash", 100, 800, 0.8984375], "19": ["vertical_and_slash", 100, 800, 0.96484375], "20": ["vertical_and_slash", 3500, 100, 0.9754143357276917], "21": ["vertical_and_slash", 500, 700, 0.9632224440574646], "22": ["vertical_and_slash", 500, 700, 0.9907698631286621], "23": ["vertical_and_slash", 3500, 100, 0.9646450877189636], "24": ["vertical_and_slash", 3500, 100, 0.9653900265693665], "25": ["vertical_and_slash", 3500, 100, 0.9837985038757324], "26": ["vertical_and_slash", 30, 800, 0.9979236125946045], "27": ["vertical_and_slash", 3500, 100, 0.9754469394683838], "28": ["vertical_and_slash", 100, 800, 0.94921875], "29": ["vertical_and_slash", 100, 800, 0.79296875], "30": ["vertical_and_slash", 100, 800, 0.9453125], "31": ["vertical_and_slash", 500, 700, 0.9928015470504761]}, {"0": ["vertical_and_slash", 100, 800, 0.99609375], "1": ["vertical_and_slash", 100, 800, 0.9921875], "2": ["vertical_and_slash", 100, 800, 0.98828125], "3": ["vertical_and_slash", 500, 700, 0.9944132566452026], "4": ["vertical_and_slash", 100, 800, 0.99609375], "5": ["vertical_and_slash", 1000, 6096, 0.9978566765785217], "6": ["vertical_and_slash", 500, 700, 0.9965388774871826], "7": ["vertical_and_slash", 100, 800, 1.0], "8": ["vertical_and_slash", 100, 800, 0.98828125], "9": ["vertical_and_slash", 100, 800, 0.875], "10": ["vertical_and_slash", 30, 800, 0.9321915507316589], "11": ["vertical_and_slash", 100, 800, 0.9453125], "12": ["vertical_and_slash", 100, 800, 0.99609375], "13": ["vertical_and_slash", 500, 700, 0.9935281276702881], "14": ["vertical_and_slash", 500, 700, 0.9961588382720947], "15": ["vertical_and_slash", 500, 700, 0.9942258596420288], "16": ["vertical_and_slash", 100, 800, 0.921875], "17": ["vertical_and_slash", 100, 800, 0.98828125], "18": ["vertical_and_slash", 100, 800, 0.97265625], "19": ["vertical_and_slash", 100, 800, 0.97265625], "20": ["vertical_and_slash", 1000, 6096, 0.8195043206214905], "21": ["vertical_and_slash", 3500, 100, 0.69544917345047], "22": ["vertical_and_slash", 3500, 100, 0.808684229850769], "23": ["vertical_and_slash", 100, 800, 0.828125], "24": ["vertical_and_slash", 30, 800, 0.9985952973365784], "25": ["vertical_and_slash", 30, 800, 0.9965323805809021], "26": ["vertical_and_slash", 30, 800, 0.9991631507873535], "27": ["vertical_and_slash", 30, 800, 0.999081015586853], "28": ["vertical_and_slash", 3500, 100, 0.9952759146690369], "29": ["vertical_and_slash", 500, 700, 0.9537212252616882], "30": ["vertical_and_slash", 3500, 100, 0.9890041947364807], "31": ["vertical_and_slash", 3500, 100, 0.9856141805648804]}, {"0": ["vertical_and_slash", 500, 700, 0.9620710015296936], "1": ["vertical_and_slash", 3500, 100, 0.9257127046585083], "2": ["vertical_and_slash", 3500, 100, 0.960764467716217], "3": ["vertical_and_slash", 3500, 100, 0.9661008715629578], "4": ["vertical_and_slash", 1000, 6096, 0.9754106998443604], "5": ["vertical_and_slash", 100, 800, 0.93359375], "6": ["vertical_and_slash", 100, 800, 0.90625], "7": ["vertical_and_slash", 30, 800, 0.9456615447998047], "8": ["vertical_and_slash", 100, 800, 0.7578125], "9": ["vertical_and_slash", 3500, 100, 0.9354745745658875], "10": ["vertical_and_slash", 500, 700, 0.9463661313056946], "11": ["vertical_and_slash", 3500, 100, 0.684634268283844], "12": ["vertical_and_slash", 3500, 100, 0.9281976819038391], "13": ["vertical_and_slash", 100, 800, 0.8671875], "14": ["vertical_and_slash", 3500, 100, 0.9579365253448486], "15": ["vertical_and_slash", 3500, 100, 0.9362466931343079], "16": ["vertical_and_slash", 1000, 6096, 0.6537134647369385], "17": ["vertical_and_slash", 100, 800, 0.82421875], "18": ["vertical_and_slash", 100, 800, 0.65625], "19": ["vertical_and_slash", 100, 800, 0.9453125], "20": ["vertical_and_slash", 3500, 100, 0.9693450927734375], "21": ["vertical_and_slash", 3500, 100, 0.9710285663604736], "22": ["vertical_and_slash", 30, 800, 0.9574082493782043], "23": ["vertical_and_slash", 500, 700, 0.9826518297195435], "24": ["vertical_and_slash", 100, 800, 0.87109375], "25": ["vertical_and_slash", 100, 800, 0.81640625], "26": ["vertical_and_slash", 100, 800, 0.89453125], "27": ["vertical_and_slash", 3500, 100, 0.8967287540435791], "28": ["vertical_and_slash", 100, 800, 0.94140625], "29": ["vertical_and_slash", 3500, 100, 0.9489632844924927], "30": ["vertical_and_slash", 3500, 100, 0.9336714148521423], "31": ["vertical_and_slash", 100, 800, 0.921875]}, {"0": ["vertical_and_slash", 30, 800, 0.9627715349197388], "1": ["vertical_and_slash", 30, 800, 0.9686042070388794], "2": ["vertical_and_slash", 30, 800, 0.9637676477432251], "3": ["vertical_and_slash", 500, 700, 0.9802013635635376], "4": ["vertical_and_slash", 30, 800, 0.9397980570793152], "5": ["vertical_and_slash", 30, 800, 0.9883284568786621], "6": ["vertical_and_slash", 500, 700, 0.9728643894195557], "7": ["vertical_and_slash", 100, 800, 0.96484375], "8": ["vertical_and_slash", 30, 800, 0.9368970394134521], "9": ["vertical_and_slash", 30, 800, 0.9834686517715454], "10": ["vertical_and_slash", 30, 800, 0.9720800518989563], "11": ["vertical_and_slash", 30, 800, 0.7633146643638611], "12": ["vertical_and_slash", 30, 800, 0.9846735596656799], "13": ["vertical_and_slash", 30, 800, 0.8777114748954773], "14": ["vertical_and_slash", 1000, 6096, 0.9979324340820312], "15": ["vertical_and_slash", 30, 800, 0.9801661372184753], "16": ["vertical_and_slash", 100, 800, 0.875], "17": ["vertical_and_slash", 3500, 100, 0.9097177982330322], "18": ["vertical_and_slash", 30, 800, 0.9596639275550842], "19": ["vertical_and_slash", 100, 800, 0.78125], "20": ["vertical_and_slash", 3500, 100, 0.9271265268325806], "21": ["vertical_and_slash", 3500, 100, 0.9515058398246765], "22": ["vertical_and_slash", 100, 800, 0.90625], "23": ["vertical_and_slash", 30, 800, 0.992164134979248], "24": ["vertical_and_slash", 30, 800, 0.9773561358451843], "25": ["vertical_and_slash", 30, 800, 0.9886955618858337], "26": ["vertical_and_slash", 30, 800, 0.8982697129249573], "27": ["vertical_and_slash", 30, 800, 0.9301047325134277], "28": ["vertical_and_slash", 100, 800, 0.97265625], "29": ["vertical_and_slash", 100, 800, 0.90234375], "30": ["vertical_and_slash", 100, 800, 0.921875], "31": ["vertical_and_slash", 100, 800, 0.87109375]}]
diff --git a/minference/configs/model2path.py b/minference/configs/model2path.py
index 16ec0fb..9f68414 100644
--- a/minference/configs/model2path.py
+++ b/minference/configs/model2path.py
@@ -26,6 +26,9 @@
     "THUDM/glm-4-9b-chat-1m": os.path.join(
         BASE_DIR, "GLM_4_9B_1M_instruct_kv_out_v32_fit_o_best_pattern.json"
     ),
+    "meta-llama/Meta-Llama-3.1-8B-Instruct": os.path.join(
+        BASE_DIR, "Llama_3.1_8B_Instruct_128k_kv_out_v32_fit_o_best_pattern.json"
+    ),
 }
 
 
diff --git a/minference/modules/minference_forward.py b/minference/modules/minference_forward.py
index b7ea866..3acd18f 100644
--- a/minference/modules/minference_forward.py
+++ b/minference/modules/minference_forward.py
@@ -8,6 +8,7 @@
 from importlib import import_module
 
 from transformers.models.llama.modeling_llama import *
+from transformers.utils import is_flash_attn_2_available
 from transformers.utils.import_utils import _is_package_available
 
 if _is_package_available("vllm"):
@@ -531,7 +532,7 @@ def forward(
             if os.path.exists(self.config_path):
                 config_list = json.load(open(self.config_path))
                 if self.layer_idx < len(config_list):
-                    assert False
+                    assert False, f"Search completed. The config is located in {self.config_path}."
             else:
                 config_list = []
             config = {}
diff --git a/minference/version.py b/minference/version.py
index c295776..b81efd9 100644
--- a/minference/version.py
+++ b/minference/version.py
@@ -5,10 +5,10 @@
 _MINOR = "1"
 # On master and in a nightly release the patch should be one ahead of the last
 # released build.
-_PATCH = "4"
+_PATCH = "5"
 # This is mainly for nightly builds which have the suffix ".dev$DATE". See
 # https://semver.org/#is-v123-a-semantic-version for the semantics.
-_SUFFIX = ".post4"
+_SUFFIX = ""
 
 VERSION_SHORT = "{0}.{1}".format(_MAJOR, _MINOR)
 VERSION = "{0}.{1}.{2}{3}".format(_MAJOR, _MINOR, _PATCH, _SUFFIX)