anchor.diff:          |] |> Array.unzip |> fun (i, l) -> dsharp.stack(i), dsharp.stack(l)
   
       let data, target =
  -        Directory.CreateDirectory(path) |> ignore
           if not (File.Exists(file)) then download url file
           if not (Directory.Exists(pathExtracted)) then extractTarGz file path
           let files = [|"data_batch_1.bin"; "data_batch_2.bin"; "data_batch_3.bin"; "data_batch_4.bin"; "data_batch_5.bin"; "test_batch.bin"|] |> Array.map (fun f -> Path.Combine(pathExtracted, f))
  
positive.code:         | _ -> failwith "Given file is not in the MNIST format."
  
      let data, target = 
          Directory.CreateDirectory(path) |> ignore
          if train then
              if not (File.Exists(files.[0])) then download urls.[0] files.[0]
              if not (File.Exists(files.[1])) then download urls.[1] files.[1]
  
negative.code: module DataUtil =
      /// Synchronously downloads the given URL to the given local file.
      let download (url:string) (localFileName:string) =
          Directory.CreateDirectory(Path.GetDirectoryName(localFileName)) |> ignore
          if File.Exists(localFileName) then
              printfn "File exists, skipping download: %A" localFileName
          else
              let wc = new WebClient()
              printfn "Downloading %A to %A" url localFileName
              wc.DownloadFile(url, localFileName)
              wc.Dispose()
  
      let extractTarStream (stream:Stream) (outputDir:string) =
          let buffer:byte[] = Array.zeroCreate 100
  